// PR c++/81843
// { dg-do compile { target c++11 } }

template < typename > struct A;
template < typename, typename > struct B;
template < typename ... S > struct C
{
  template < typename > struct D {};
  template < typename ... T > struct D < A < B < S, T > ... > >;
};

C <>::D < A < B < int, int > > > c;