[Bug c++/105221] [10/11/12/13 Regression] gcc rejects true ? [](auto) noexcept {} : [](int) {} in C++17+ (works for C++14) since r7-4383-g51dc660315ef83dc

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

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

https://gcc.gnu.org/g:85131af0603c0af2aa6b40de6cc929905f22bd50

commit r13-6948-g85131af0603c0af2aa6b40de6cc929905f22bd50
Author: Jason Merrill <ja...@redhat.com>
Date:   Thu Mar 30 11:07:17 2023 -0400

    c++: generic lambda and function ptr conv [PR105221]

    We weren't properly considering the function pointer conversions in
    deduction between FUNCTION_TYPE; we just hardcoded the
    UNIFY_ALLOW_MORE_CV_QUAL semantics, which are backwards when deducing for a
    template conversion function like the one in a generic lambda.  And when I
    started checking the ALLOW flags, I needed to make sure they stay set to
    avoid breaking trailing13.C.

            PR c++/105221

    gcc/cp/ChangeLog:

            * pt.cc (unify) [FUNCTION_TYPE]: Handle function pointer
            conversions.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp1z/noexcept-type27.C: New test.