[Bug c++/95181] [10/11 Regression] ICE in push_access_scope, at cp/pt.c:241 since r10-3735-gcb57504a55015891
cvs-commit at gcc dot gnu.org
Fri May 29 22:19:12 GMT 2020
--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jason Merrill <firstname.lastname@example.org>:
Author: Patrick Palka <email@example.com>
Date: Fri May 22 10:28:19 2020 -0400
c++: P0848R3 and member function templates [PR95181]
When comparing two special member function templates to see if one hides
the other (as per P0848R3), we need to check satisfaction which we can't
do on templates. So this patch makes add_method skip the eligibility
test on member function templates and just lets them coexist.
* class.c (add_method): Let special member function templates
coexist if they are not equivalently constrained, or in a class
* g++.dg/concepts/pr95181.C: New test.
* g++.dg/concepts/pr95181-2.C: New test.
Co-authored-by: Jason Merrill <firstname.lastname@example.org>
More information about the Gcc-bugs