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.