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