Hi! Seems we already allow the partial specializations the way the DR clarifies, so this patch just adds a testcase which verifies that.
Tested on x86_64-linux, ok for trunk? 2024-09-25 Jakub Jelinek <ja...@redhat.com> * g++.dg/DRs/dr2874.C: New test. --- gcc/testsuite/g++.dg/DRs/dr2874.C.jj 2024-09-25 15:13:52.858410172 +0200 +++ gcc/testsuite/g++.dg/DRs/dr2874.C 2024-09-25 15:15:24.042168486 +0200 @@ -0,0 +1,13 @@ +// DR 2874 - Qualified declarations of partial specializations +// { dg-do compile { target c++11 } } + +namespace N { + template <typename T> + struct A; +} + +template <> +struct N::A <int>; + +template <typename T> +struct N::A <T *>; Jakub