https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112942
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Artem Koton from comment #3) > (In reply to Andrew Pinski from comment #1) > > https://wg21.cmeerw.net/lwg/issue2749 > > Could you elaborate? I understand that this issue discusses the constraints > in question but a failure to meet them should still result in the function > just being excluded from overload resolution. The program should not be > ill-formed. Just giving background information of the wording changes to C++17 on std::variant and std::swap here and about the testcase you pointed to and about when it was added specifcially while changing for that defect report.
