diff options
| author | Jason Merrill <jason@redhat.com> | 2024-01-09 05:15:01 -0500 |
|---|---|---|
| committer | Jason Merrill <jason@redhat.com> | 2024-01-11 17:01:06 -0500 |
| commit | 61b493f17e6fea5a0fb45b6a050259ca326c13a7 (patch) | |
| tree | 9ad8270bd387f0a92b7279c46c07aae2a03ce92a /gcc/c/c-tree.h | |
| parent | 9bac1d7839f129f93f159c27adaf472ee3ab23a2 (diff) | |
| download | gcc-61b493f17e6fea5a0fb45b6a050259ca326c13a7.zip gcc-61b493f17e6fea5a0fb45b6a050259ca326c13a7.tar.gz gcc-61b493f17e6fea5a0fb45b6a050259ca326c13a7.tar.bz2 | |
c++: corresponding object parms [PR113191]
As discussed, our handling of corresponding object parameters needed to
handle the using-declaration case better. And I took the opportunity to
share code between the add_method and cand_parms_match uses.
This patch specifically doesn't compare reversed parameters, but a follow-up
patch will.
PR c++/113191
gcc/cp/ChangeLog:
* class.cc (xobj_iobj_parameters_correspond): Add context parm.
(object_parms_correspond): Factor out of...
(add_method): ...here.
* method.cc (defaulted_late_check): Use it.
* call.cc (class_of_implicit_object): New.
(object_parms_correspond): Overload taking two candidates.
(cand_parms_match): Use it.
(joust): Check reversed before comparing constraints.
* cp-tree.h (object_parms_correspond): Declare.
gcc/testsuite/ChangeLog:
* g++.dg/cpp2a/concepts-memfun4.C: New test.
Diffstat (limited to 'gcc/c/c-tree.h')
0 files changed, 0 insertions, 0 deletions