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

   1 // PR c++/101733
   2 // { dg-do compile { target c++20 } }
   3
   4 template<class T>
   5 requires requires {
   6     typename T::type;
   7     (typename T::type()); // (1)
   8     T::type();            // (2)
   9     typename T::type();   // (3)
  10 }
  11 void f(T) { }