[Bug c++/115476] [13/14/15 Regression] __has_unique_object_representation ICE with array of uninstantiated type of unknown bound

[mital at mitalashok dot co.uk via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115476

--- Comment #4 from Mital Ashok <mital at mitalashok dot co.uk> ---
cppreference is wrong

https://eel.is/c++draft/type.traits#tab:meta.unary.prop-row-47-column-2-sentence-1

> For an array type `T`, the same result as 
> `has_unique_object_representations_v<remove_all_extents_t<T>>`, otherwise see 
> below.

So `__has_unique_object_representations(T[])` should be exactly equivalent to
`__has_unique_object_representations(T)`, even though `T[]` is incomplete (as
long as `T` is complete).