@@ -2748,21 +2748,20 @@ bool ASTContext::hasUniqueObjectRepresentations(
27482748 QualType Ty, bool CheckIfTriviallyCopyable) const {
27492749 // C++17 [meta.unary.prop]:
27502750 // The predicate condition for a template specialization
2751- // has_unique_object_representations<T> shall be
2752- // satisfied if and only if:
2751+ // has_unique_object_representations<T> shall be satisfied if and only if:
27532752 // (9.1) - T is trivially copyable, and
27542753 // (9.2) - any two objects of type T with the same value have the same
2755- // object representation, where two objects
2756- // of array or non-union class type are considered to have the same value
2757- // if their respective sequences of
2758- // direct subobjects have the same values, and two objects of union type
2759- // are considered to have the same
2760- // value if they have the same active member and the corresponding members
2761- // have the same value.
2754+ // object representation, where:
2755+ // - two objects of array or non-union class type are considered to have
2756+ // the same value if their respective sequences of direct subobjects
2757+ // have the same values, and
2758+ // - two objects of union type are considered to have the same value if
2759+ // they have the same active member and the corresponding members have
2760+ // the same value.
27622761 // The set of scalar types for which this condition holds is
2763- // implementation-defined. [ Note: If a type has padding
2764- // bits, the condition does not hold; otherwise, the condition holds true
2765- // for unsigned integral types. -- end note ]
2762+ // implementation-defined. [ Note: If a type has padding bits, the condition
2763+ // does not hold; otherwise, the condition holds true for unsigned integral
2764+ // types. -- end note ]
27662765 assert(!Ty.isNull() && "Null QualType sent to unique object rep check");
27672766
27682767 // Arrays are unique only if their element type is unique.
0 commit comments