// PR c++/92556
// { dg-do compile { target c++20 } }

// Having this as a hard error is consistent with template argument deduction;
// it's an open core issue (jason 2020-02-14).
template <class T> concept has_value
  = requires { []{T::value;}; }; // { dg-error "" }
template <has_value T> void f() { }
template <class T> void f() { }
void q() { f<int>(); }