Inconsistency in has_unique_object_representations and empty subobjects

Question

I\'ve playing around with C++20\'s [[no_unique_address]] attribute and found some interesting behavior when using it with the has_unique_object_representations type trait:

<