[Bug c++/56427] New: [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

             Bug #: 56427
           Summary: [C++11] template template parameter template parameter
                    pack that depends on another parameter pack
    Classification: Unclassified
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: ja...@gcc.gnu.org
                CC: chris.fair...@gmail.com, dgre...@gcc.gnu.org,
                    ism...@donmez.ws, ja...@gcc.gnu.org,
                    reich...@gcc.gnu.org
        Depends on: 54440, 35022


+++ This bug was initially created as a clone of Bug #35022 +++

This code snippet should be accepted:

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

but it fails with

  sorry, unimplemented: use of ‘type_pack_expansion’ in template

This is related to bug 54440.