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

   1 // PR c++/103105
   2 // { dg-do compile { target c++20 } }
   3
   4 template<class...> struct list;
   5
   6 template<bool> struct A;
   7
   8 template<class T, class... Ts>
   9 using wrap = A<1 != (0 + ... + requires { T() = Ts(); })>;
  10
  11 template<class... Ts> using type = list<wrap<Ts, Ts...>...>;
  12
  13 using ty0 = type<>;
  14 using ty0 = list<>;
  15
  16 using ty1 = type<int>;
  17 using ty1 = list<A<true>>;
  18
  19 using ty2 = type<int, int>;
  20 using ty2 = list<A<true>, A<true>>;
  21
  22 using ty3 = type<int, int, int>;
  23 using ty3 = list<A<true>, A<true>, A<true>>;