1 // { dg-do compile { target c++11 } }
2 
3 template <class T> struct A { typedef T type; };
4 
5 template <template <class...> class T, class... U>
6 void f(typename T<U...>::type);
7 
main()8 int main()
9 {
10   f<A,int>(42);
11 }
12