[conv.array] contains UB
An expression E of type “array of N T” or “array of unknown bound of T” can be converted to a prvalue of type “pointer to T”. If E is a prvalue, the temporary materialization conversion ([conv.rval]) is applied. If the result of E (possibly converted) is an object whose type is similar to the type of E, the result is a pointer to the first element of the array; otherwise, the behavior is undefined.
There is neither a reference to Annex F nor a Note or Footnote explaining why ignoring it.
[conv.array] contains UB
There is neither a reference to Annex F nor a Note or Footnote explaining why ignoring it.