[Bug c++/99815] [11 Regression] ICE: in placeholder_type_constraint_dependent_p, at cp/pt.c:28193

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

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

--- Comment #2 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:0bbf0edbfc782f8e4e416d5fbd1b52a515adb585

commit r11-7920-g0bbf0edbfc782f8e4e416d5fbd1b52a515adb585
Author: Patrick Palka <ppa...@redhat.com>
Date:   Tue Mar 30 22:54:37 2021 -0400

    c++: placeholder type constraint and argument pack [PR99815]

    When checking dependence of a placeholder type constraint, if the first
    template argument of the constraint is an argument pack, we need to
    expand it in order to properly separate the implicit 'auto' argument
    from the rest.

    gcc/cp/ChangeLog:

            PR c++/99815
            * pt.c (placeholder_type_constraint_dependent_p): Expand
            argument packs to separate the first non-pack argument
            from the rest.

    gcc/testsuite/ChangeLog:

            PR c++/99815
            * g++.dg/cpp2a/concepts-placeholder5.C: New test.