1 // PR c++/81843
2 // { dg-do compile { target c++11 } }
3 
4 template < typename > struct A;
5 template < typename, typename > struct B;
6 template < typename ... S > struct C
7 {
8   template < typename > struct D {};
9   template < typename ... T > struct D < A < B < S, T > ... > >;
10 };
11 
12 C <>::D < A < B < int, int > > > c;
13