https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122789
Nathaniel Shead <nshead at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Last reconfirmed| |2025-11-23
Status|UNCONFIRMED |NEW
--- Comment #1 from Nathaniel Shead <nshead at gcc dot gnu.org> ---
Reduced:
// a.cpp
export module M;
template <typename T> bool b = requires(int, typename T::U x) { x; };
// b.cpp
module M;
bool x = b<int>;
$ g++ -S -fmodules -fconcepts [ab].cpp
Interestingly, if we swap the order of the parameters in the requires clause
things work correctly.
