...
In this noncompliant code example, the value of n is greater than the size of T, that is, sizeof(wchar_t). But the derived type of expression n (wchar_t *) is not the same as the type of T because its derived type (see Definitions [ISO/IEC TR 17961]) will be equal to the type of p, which is wchar_t*. The derived type of n is calculated using the first rule from TR 17961's definition of derived types (see Definitions [ISO/IEC TR 17961]). Because n here is a sizeof expression, its derived type is equal to the type of the operand (p), which is wchar_t *.
...