https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67572
Tomasz Kamiński <tkaminsk at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|FIXED |---
Status|RESOLVED |REOPENED
--- Comment #3 from Tomasz Kamiński <tkaminsk at gcc dot gnu.org> ---
It seem like is_trivally_copyable result here is incorrect, per
https://eel.is/c++draft/class.prop#1.1:
> that has at least one eligible copy constructor, move constructor, copy
> assignment
> operator, or move assignment operator ([special], [class.copy.ctor],
> [class.copy.assign]),
And definition of eligble https://eel.is/c++draft/special#6:
> An eligible special member function is a special member function for which:
> (6.1) the function is not deleted,