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