1 // PR c++/52233
2 // { dg-do compile { target c++11 } }
3 
4 template <typename t>
5 struct foo
6 {
7   template <template <typename...> class... xs>
8   using type = int;
9 };
10 
11 template <typename t, template <typename...> class... xs>
12 struct bar
13 {
14   using type = typename foo<t>::template type<xs...>;
15 };
16 
17 bar<int, foo> x;
18