| // PR c++/103105 | |
| // { dg-do compile { target c++20 } } | |
| template<class...> struct list; | |
| template<bool> struct A; | |
| template<class T, class... Ts> | |
| using wrap = A<1 != (0 + ... + requires { T() = Ts(); })>; | |
| template<class... Ts> using type = list<wrap<Ts, Ts...>...>; | |
| using ty0 = type<>; | |
| using ty0 = list<>; | |
| using ty1 = type<int>; | |
| using ty1 = list<A<true>>; | |
| using ty2 = type<int, int>; | |
| using ty2 = list<A<true>, A<true>>; | |
| using ty3 = type<int, int, int>; | |
| using ty3 = list<A<true>, A<true>, A<true>>; |