@@ -2748,21 +2748,20 @@ bool ASTContext::hasUniqueObjectRepresentations(
2748
2748
QualType Ty, bool CheckIfTriviallyCopyable) const {
2749
2749
// C++17 [meta.unary.prop]:
2750
2750
// 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:
2753
2752
// (9.1) - T is trivially copyable, and
2754
2753
// (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.
2762
2761
// 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 ]
2766
2765
assert(!Ty.isNull() && "Null QualType sent to unique object rep check");
2767
2766
2768
2767
// Arrays are unique only if their element type is unique.
0 commit comments