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

   1 // { dg-do compile { target c++20 } }
   2
   3 template <class T> concept C = requires(T t) { t; };
   4
   5 template <class T> using A = decltype((T{}, int{}));
   6
   7 template <class T> concept D = C<A<T>>;
   8
   9 template <class T, class U> void f() requires D<T>;
  10 template <class T> void g() requires D<T>;
  11
  12 void h() {
  13   f<int, int>();
  14   g<int>();
  15 }