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

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

https://gcc.gnu.org/g:8b273a8566e7806e9498c78b16c30c9d81d6e81b

commit r11-8716-g8b273a8566e7806e9498c78b16c30c9d81d6e81b
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.

Reply via email to