[Bug c++/113191] [11/12/13/14 Regression] Incorrect overload resolution when base class function introduced with a using declaration is more constrained than a function declared in the derived class

["cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

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

https://gcc.gnu.org/g:61b493f17e6fea5a0fb45b6a050259ca326c13a7

commit r14-7157-g61b493f17e6fea5a0fb45b6a050259ca326c13a7
Author: Jason Merrill <jason@redhat.com>
Date:   Tue Jan 9 05:15:01 2024 -0500

    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.