[Bug c++/67825] [concepts] expression constraint bug when taking address of a member function

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:05f14938111e34edd272628a9268444256735e10

commit r10-7862-g05f14938111e34edd272628a9268444256735e10
Author: Patrick Palka <ppa...@redhat.com>
Date:   Tue Apr 21 22:18:50 2020 -0400

    c++: Diagnose invalid use of member function in requires

    This updates diagnose_valid_expression to mirror the convert_to_void check
added
    to tsubst_valid_expression_requirement by r10-7554.

    gcc/cp/ChangeLog:

            PR c++/67825
            * constraint.cc (diagnose_valid_expression): Check convert_to_void
here
            as well as in tsubst_valid_expression_requirement.

    gcc/testsuite/ChangeLog:

            PR c++/67825
            * g++.dg/concepts/diagnostic10.C: New test.
            * g++.dg/cpp2a/concepts-pr67178.C: Adjust dg-message.