gcc/testsuite/g++.dg/cpp2a/concepts-nested1.C

   1 // { dg-do compile { target concepts } }
   2
   3 namespace N { template <class T> concept True = true; }
   4 template <class T> struct A { };
   5
   6 template <class T>
   7 requires N::True<T> && requires { typename A<T>; }
   8 void f();
   9
  10 int main()
  11 {
  12   f<int>();
  13 }