1 // Origin: PR c++/46394
2 // { dg-do compile { target c++11 } }
3 
4 template<class T>
5 struct S0
6 {
7   typedef T type;
8 };
9 
10 template<class... X>
11 struct S1
12 {
13   typedef int I;
14 };
15 
16 struct A
17 {
18   template<class...U, class V=typename S1<typename S0<U>::type...>::I>
19   A(U...u);
20 };
21 
22 int
main()23 main()
24 {
25   A a(1, 2);
26 }
27