[Bug c++/101733] simple-requirement prefixed with typename interpreted as type-requirement

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

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

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

https://gcc.gnu.org/g:2b0ae7fb91f64fb005abf7d7903fd4c0764bb45c

commit r13-4380-g2b0ae7fb91f64fb005abf7d7903fd4c0764bb45c
Author: Jason Merrill <ja...@redhat.com>
Date:   Sat Nov 26 11:13:55 2022 -0500

    c++: simple-requirement starting with 'typename' [PR101733]

    Usually a requirement starting with 'typename' is a type-requirement, but
it
    might be a simple-requirement such as a functional cast to a typename-type.

            PR c++/101733

    gcc/cp/ChangeLog:

            * parser.cc (cp_parser_requirement): Parse tentatively for the
            'typename' case.

    gcc/testsuite/ChangeLog:

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