https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118158
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |redi at gcc dot gnu.org
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #5)
> Yes the original C++20 standard was written that way but was changed by LWG
> DR 2937 : https://cplusplus.github.io/LWG/issue2937 .
C++17 said (is_other(s1) && is_other(s2)) was an error. LWG 2937 was approved
in July 2017, so the resolution was always in C++20.
