]> git.ipfire.org Git - thirdparty/gcc.git/commit
c++: concepts TS and explicit specialization [PR101098]
authorJason Merrill <jason@redhat.com>
Fri, 9 Jul 2021 17:50:01 +0000 (13:50 -0400)
committerJason Merrill <jason@redhat.com>
Fri, 9 Jul 2021 20:14:14 +0000 (16:14 -0400)
commit8b273a8566e7806e9498c78b16c30c9d81d6e81b
tree7dbd5f28316ebb78cb01c640f51dd1387fe260ae
parent5830fffacd05463c20b592bb6ed20e333d7d272b
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.
gcc/cp/decl.c
gcc/testsuite/g++.dg/concepts/explicit-spec1.C [new file with mode: 0644]