1 // PR c++/58734
2 // { dg-do compile { target c++11 } }
3 
4 template <typename R1, typename R2>
5 struct W1 { };
6 
7 template <template <typename, typename> class W>
8 struct A { };
9 
10 template <template <typename, typename> class ...W>
11 struct B { };
12 
13 template <template <typename, typename> class ...W>
14 void f(A<W...> &a, B<W...> &b);
15 
g()16 void g()
17 {
18   A<W1> a;
19   B<W1> b;
20 
21   ::f(a, b);
22 }
23