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);

Reply via email to