https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100779
Bug ID: 100779 Summary: Partial specialization with non-deducible template parameters accepted Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: ppalka at gcc dot gnu.org Target Milestone: --- template <int> struct A; template <class> struct B; template <class T> struct B<A<sizeof(T)>> { }; This partial specialization should be rejected because its template parameter T is not deducible.