[Bug c++/96288] New: [DR 1734] __is_trivial and __is_tirivil_copyable fails for deleted members

[roland at rschulz dot eu]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96288

            Bug ID: 96288
           Summary: [DR 1734] __is_trivial and __is_tirivil_copyable fails
                    for deleted members
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: roland at rschulz dot eu
  Target Milestone: ---

https://godbolt.org/z/snjof8

The resolution of 1734 requires the class:
- has at least one non-deleted copy constructor, move constructor, copy
assignment operator, or move assignment operator, and
- has a trivial, non-deleted destructor

Therefore all 4 static-asserts should pass.

Same bug in LLVM with discussion of ABI impact:
https://bugs.llvm.org/show_bug.cgi?id=39050