[Bug c++/101098] [11/12 Regression] ICE with explicit specialization of constrained function template

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jason Merrill <ja...@gcc.gnu.org>:

https://gcc.gnu.org/g:ddd25bd1a7c8f456bc914e34b77d43f39a1062d4

commit r12-2230-gddd25bd1a7c8f456bc914e34b77d43f39a1062d4
Author: Jason Merrill <ja...@redhat.com>
Date:   Fri Jul 9 13:50:01 2021 -0400

    c++: concepts TS and explicit specialization [PR101098]

    duplicate_decls was not recognizing the explicit specialization as matching
    the implicit specialization of g<Y> because
    function_requirements_equivalent_p was seeing the C constraint on the
    implicit one and not on the explicit.

            PR c++/101098

    gcc/cp/ChangeLog:

            * decl.c (function_requirements_equivalent_p): Only compare
            trailing requirements on a specialization.

    gcc/testsuite/ChangeLog:

            * g++.dg/concepts/explicit-spec1.C: New test.