[Bug c++/108579] [13 Regression] Requires-expression that checks constructor on non-template constructor of template class got rejected

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

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

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
The error started with r13-2968:

c++: fix triviality of class with unsatisfied op=

cxx20_pair is trivially copyable because it has a trivial copy constructor
and only a deleted copy assignment operator; the non-triviality of the
unsatisfied copy assignment overload is not considered.