1 // { dg-do compile { target c++11 } }
2 
3 template <class... T> struct tuple;
4 template <class T> struct tuple<T> { T t; };
5 
6 template <class T, class U> struct pair;
7 template<> struct pair<int,double> { };
8 
9 template <class... Ts>
10 struct A
11 {
12   template <class... Us,
13             class V = tuple<pair<Ts,Us>...> >
14   static void f(Us...)
15   {
16     V v;
17   }
18   template <class U>
19   static void f(bool);
20 };
21 
22 int main()
23 {
24   A<int,float>::f<double>(1.0);
25 }
26