https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107773
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Keywords| |accepts-invalid, | |rejects-valid, wrong-code Last reconfirmed| |2022-11-20 Ever confirmed|0 |1 --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Confirmed, a compile time testcase: struct a { using get = void; }; struct b : a { int get(int i); }; template <typename T> concept c = requires { typename T::get; }; template <typename T> constexpr int f(T t) {return 0;} template <c T> constexpr int f(T t) { typename T::get t1; return 1; } static_assert(f(b{}) == 0);