`std::is_trivially_copyable` is true when all copy/move operations are deleted

[HolyBlackCat]

#include <type_traits>

struct A
{
    A(const A &) = delete;
    A(A &&) = delete;
    A &operator=(const A &) = delete;
    A &operator=(A &&) = delete;
};

static_assert(!std::is_trivially_copyable_v<A>);

Here std::is_trivially_copyable_v<A> == true, but it should be false.

"Trivially copyable" requires at least one of those 4 members to be "eligible" (https://eel.is/c++draft/class.prop#1.1), which in turn requires it to not be deleted (https://eel.is/c++draft/special#6.1).

GCC has the same bug, but MSVC correctly returns false.

[llvmbot]

@llvm/issue-subscribers-clang-frontend

Author: Egor (HolyBlackCat)

```cpp #include <type_traits>

struct A
{
A(const A &) = delete;
A(A &&) = delete;
A &operator=(const A &) = delete;
A &operator=(A &&) = delete;
};

static_assert(!std::is_trivially_copyable_v<A>);

Here `std::is_trivially_copyable_v<A> == true`, but it should be false.

"Trivially copyable" requires at least one of those 4 members to be "eligible" (https://eel.is/c++draft/class.prop#<!-- -->1.1), which in turn requires it to not be deleted (https://eel.is/c++draft/special#<!-- -->6.1).

GCC has the same bug, but MSVC correctly returns false.
</details>

[HolyBlackCat]

I guess this is a duplicate of #38398 ?