[Bug c++/96164] Constraints and explicit template instantiation

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:215927a736d21d8cff8baeb50f687911a00149b9

commit r10-8602-g215927a736d21d8cff8baeb50f687911a00149b9
Author: Patrick Palka <ppa...@redhat.com>
Date:   Wed Jul 29 22:06:33 2020 -0400

    c++: constraints and explicit instantiation [PR96164]

    When considering to instantiate a member of a class template as part of
    an explicit instantiation of the class template, we need to first check
    the member's constraints before proceeding with the instantiation of the
    member.

    gcc/cp/ChangeLog:

            PR c++/96164
            * constraint.cc (constraints_satisfied_p): Return true if
            !flags_concepts.
            * pt.c (do_type_instantiation): Update a paragraph taken from
            [temp.explicit] to reflect the latest specification.  Don't
            instantiate a member with unsatisfied constraints.

    gcc/testsuite/ChangeLog:

            PR c++/96164
            * g++.dg/cpp2a/concepts-explicit-inst5.C: New test.

    (cherry picked from commit dc3d1e181445fafbbd146eb355a750c41c338794)