[Bug libstdc++/67572] std::atomic, std::mutex and others are trivially copyable

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org

--- Comment #1 from Jason Merrill <jason at gcc dot gnu.org> ---
This is related to core issue 1928 and paper N4148.

I think that places that test is_trivially_copyable should also check the
appropriate one of is_{copy,move}_{constructible,assignable}, since triviality
and callability are disjoint properties.

I also think that a class with no non-deleted copy/move ctor/op= shouldn't be
trivially copyable.