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