https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115476
--- Comment #5 from Mital Ashok <mital at mitalashok dot co.uk> --- Sorry, I misread the cppreference quote. Though it should be ill-formed instead of UB I think. GCC also crashes on this invalid code: class Foo; static_assert(__has_unique_object_representations(Foo[]));