Hi, I'm adding the testcase and closing the PR. Tested x86_64-linux.
Thanks, Paolo. ////////////////////////
2012-10-04 Paolo Carlini <paolo.carl...@oracle.com> PR c++/52233 * g++.dg/cpp0x/alias-decl-23.C: New.
Index: g++.dg/cpp0x/alias-decl-23.C =================================================================== --- g++.dg/cpp0x/alias-decl-23.C (revision 0) +++ g++.dg/cpp0x/alias-decl-23.C (working copy) @@ -0,0 +1,17 @@ +// PR c++/52233 +// { dg-do compile { target c++11 } } + +template <typename t> +struct foo +{ + template <template <typename...> class... xs> + using type = int; +}; + +template <typename t, template <typename...> class... xs> +struct bar +{ + using type = typename foo<t>::template type<xs...>; +}; + +bar<int, foo> x;