1 // PR c++/71834
2 // { dg-do compile { target c++11 } }
3 
4 template < typename ... Ts > struct A
5 {
6   template < Ts ..., typename U > struct B {};
7 };
8 
9 // should be, e.g.: A < int >::B < 0, int > e;
10 A < int >::B < 0 > e;	   // { dg-error "wrong number of template arguments" }
11