gcc/testsuite/g++.dg/concepts/req20.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template <class T> concept bool C = true;
   4
   5 template <class T>
   6 requires C<typename T::foo>
   7 void f(T t) { }
   8
   9 void f(...);
  10
  11 template <class T>
  12 requires C<T>
  13 void g(T t) { }
  14
  15 int main()
  16 {
  17   f(42);
  18   g(42);
  19 }
  20