[libcxx-commits] [libcxx] [libcxx] removes unnecessary traits from `has_unique_object_representations` (PR #69241)

via libcxx-commits libcxx-commits at lists.llvm.org
Wed Jun 12 10:57:21 PDT 2024


amilendra wrote:

Hello @philnik777 
This change seems to have ( I think ) unintentionally changed the behavior of the following program.
Would you please check and fix if you agree with this analysis?

```#include <cstdint>
#include <type_traits>

template <int>
class class_type {
    int i;
};
typedef class_type<1> T;

static_assert(std::has_unique_object_representations<T[][2][3]>::value);
```
https://gcc.godbolt.org/z/Ejo8z61Td


https://github.com/llvm/llvm-project/pull/69241


More information about the libcxx-commits mailing list