https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107522
--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-14 branch has been updated by Patrick Palka <ppa...@gcc.gnu.org>: https://gcc.gnu.org/g:0af8fc22338ef0dd09c9b469aafb19262aa8eeb9 commit r14-11250-g0af8fc22338ef0dd09c9b469aafb19262aa8eeb9 Author: Patrick Palka <ppa...@redhat.com> Date: Thu Jan 16 16:40:08 2025 -0500 c++: explicit spec of constrained member tmpl [PR107522] When defining a explicit specialization of a constrained member template (of a class template) such as f and g in the below testcase, the DECL_TEMPLATE_PARMS of the corresponding TEMPLATE_DECL are partially instantiated, whereas its associated constraints are carried over from the original template and thus are in terms of the original DECL_TEMPLATE_PARMS. So during normalization for such an explicit specialization we need to consider the (parameters of) the most general template, since that's what the constraints are in terms of and since we always use the full set of template arguments during satisfaction. PR c++/107522 gcc/cp/ChangeLog: * constraint.cc (get_normalized_constraints_from_decl): Use the most general template for an explicit specialization of a member template. gcc/testsuite/ChangeLog: * g++.dg/cpp2a/concepts-explicit-spec7.C: New test. Reviewed-by: Jason Merrill <ja...@redhat.com> (cherry picked from commit 62daa81308c6c187059fcad98377146e30725fa5)
