https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107522
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Patrick Palka <ppa...@gcc.gnu.org>: https://gcc.gnu.org/g:62daa81308c6c187059fcad98377146e30725fa5 commit r15-6975-g62daa81308c6c187059fcad98377146e30725fa5 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>
