https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106610
Tomasz Kamiński <tkaminsk at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |tkaminsk at gcc dot gnu.org
--- Comment #2 from Tomasz Kamiński <tkaminsk at gcc dot gnu.org> ---
Yes, I believe the intent of [concepts.equality] p6 was exactly to not require
the implementation to care about invoking operator on mutable rvalue/lvalue, if
stratification of the concept checks specifies only const lvalue calls.