1 2 3 4 5 6 7 8 9 10 11 12 13 14
// PR c++/69515 // { dg-do link { target c++14 } } struct A { A(int = 0) {} }; template<class...> class meow; template<typename T> A foo; template<typename... Ts> A foo<meow<Ts...>> = 1; auto&& a = foo<meow<int>>; auto&& b = foo<meow<int, int>>; int main() {}