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