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

[jason at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56427
Bug 56427 depends on bug 114377, which changed state.

Bug 114377 Summary: [13 Regression] GCC crashes on an example of CTAD for alias 
templates
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114377

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

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

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

Andrew Pinski  changed:

   What|Removed |Added

   Last reconfirmed|2013-07-25 00:00:00 |2021-8-1

--- Comment #7 from Andrew Pinski  ---
GCC, ICC and MSVC all rejects this.
Clang accepts this.

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

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

   Target Milestone|4.9.4   |---

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

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

   Target Milestone|4.9.3   |4.9.4

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

[jakub at gcc dot gnu.org]

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

--- Comment #6 from Jakub Jelinek  ---
GCC 4.9.3 has been released.

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

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

   Target Milestone|4.9.2   |4.9.3

--- Comment #5 from Jakub Jelinek  ---
GCC 4.9.2 has been released.

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

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

   Target Milestone|4.9.1   |4.9.2

--- Comment #4 from Jakub Jelinek  ---
GCC 4.9.1 has been released.

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

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

   Target Milestone|4.9.0   |4.9.1

--- Comment #3 from Jakub Jelinek  ---
GCC 4.9.0 has been released

[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
Bug 56427 depends on bug 54440, which changed state.

Bug 54440 Summary: [c++11] g++ prematurely applying rule that a template 
parameter pack cannot be followed by a template parameter
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54440

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

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

[mpolacek at gcc dot gnu.org]

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

Marek Polacek  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2013-07-25
 CC||mpolacek at gcc dot gnu.org
   Target Milestone|--- |4.9.0
 Ever confirmed|0   |1
  Known to fail||4.8.1, 4.9.0

--- Comment #2 from Marek Polacek  ---
Well, confirmed.

[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  changed:



   What|Removed |Added



Version|4.3.0   |4.8.0



--- Comment #1 from Jason Merrill  2013-02-25 
19:48:18 UTC ---

More testcase:



template class X> void foo(X<0>);

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



template  struct A { };

template  struct B { };



int main()

{

  foo(A<0>());

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

}