[Bug c++/110535] Internal error when performing a surrogate call with unsatisfied constraints

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Patrick Palka
<ppalka@gcc.gnu.org>:

https://gcc.gnu.org/g:92f6240baf80f998ca6c1408c3ee09d5d2ae68d7

commit r13-7592-g92f6240baf80f998ca6c1408c3ee09d5d2ae68d7
Author: Patrick Palka <ppalka@redhat.com>
Date:   Tue Jul 18 09:21:40 2023 -0400

    c++: constrained surrogate call functions [PR110535]

    We weren't checking constraints on pointer/reference-to-function conversion
    functions during overload resolution, which caused us to ICE on the first
    testcase and reject the second testcase.

            PR c++/110535

    gcc/cp/ChangeLog:

            * call.cc (add_conv_candidate): Check constraints.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/concepts-surrogate1.C: New test.
            * g++.dg/cpp2a/concepts-surrogate2.C: New test.

    (cherry picked from commit 1e0f37df1b12cd91a6dbb523f5c722f9a961edaa)