https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111712
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Last reconfirmed| |2023-10-06 Status|UNCONFIRMED |NEW --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Reduced testcase: ``` template<bool B> struct s { constexpr static bool t = B; constexpr bool operator()() { return t; } }; template<bool B> void f(s<B> b) requires requires { typename s<b()>; }; int main() { f(s<true>{}); } ``` Note MSVC accepts the above ...