1 // { dg-do compile { target c++11 } }
2 
3 template <class T> struct A { using type = T; };
4 template <template <class...> class C, class... Ts>
5 struct A<C<Ts...>> { };
6 
7 template <class T2, template <class> class TT> struct B { };
8 template <class T3> struct C { };
9 
10 A<B<int,C>>::type a;
11