[Bug c++/56427] [C++11] template template parameter template parameter pack that depends on another parameter pack

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56427



Jason Merrill <jason at gcc dot gnu.org> changed:



           What    |Removed                     |Added

----------------------------------------------------------------------------

            Version|4.3.0                       |4.8.0



--- Comment #1 from Jason Merrill <jason at gcc dot gnu.org> 2013-02-25 
19:48:18 UTC ---

More testcase:



template<typename... T, template<T...> class X> void foo(X<0>);

template<typename... T, template<T> class... X> void bar(X<0>...);



template <int I> struct A { };

template <unsigned U> struct B { };



int main()

{

  foo<int>(A<0>());

  bar<int,unsigned>(A<0>(),B<0>());

}