The Standard should, but does not currently, say that typeid is value-dependent if its expression or type is type-dependent.