[Bug c++/95986] Partial specialization of class template is not found when class template has NTTP of class type

[bence.kodaj at gmail dot com via Gcc-bugs]

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

--- Comment #2 from Bence Kodaj  ---
For what it's worth #2: In gcc 11.2, instead of a failed static assertion, we
get an internal compiler error.

[Bug c++/95982] [10 Regression] ICE with non-type template parameter that is itself the instantiation of a template

[bence.kodaj at gmail dot com via Gcc-bugs]

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

--- Comment #6 from Bence Kodaj  ---
For what it's worth, the bug is no longer present in gcc 11.1.

[Bug c++/95986] Partial specialization of class template is not found when class template has NTTP of class type

[bence.kodaj at gmail dot com via Gcc-bugs]

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

Bence Kodaj  changed:

   What|Removed |Added

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

--- Comment #4 from Bence Kodaj  ---
Fixed in GCC 12.1.

[Bug c++/95982] [10 Regression] ICE with non-type template parameter that is itself the instantiation of a template

[bence.kodaj at gmail dot com via Gcc-bugs]

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

Bence Kodaj  changed:

   What|Removed |Added

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

--- Comment #7 from Bence Kodaj  ---
Fixed in GCC 11.1.

[Bug c++/95986] Partial specialization of class template is not found when class template has NTTP of class type

[bence.kodaj at gmail dot com via Gcc-bugs]

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

Richard Biener  changed:

   What|Removed |Added

   Keywords||rejects-valid

W E Brown  changed:

   What|Removed |Added

 CC||webrown.cpp at gmail dot com

--- Comment #1 from Bence Kodaj  ---
For what it's worth, the bug is still present in gcc 11.1:
https://godbolt.org/z/Mrbqnjsrj.