[Bug c++/103341] [11 Regression] ICE type of variable instantiation constrained on template parameter

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:12b11107edfcde6a16ec397a9120687a14254215

commit r11-9841-g12b11107edfcde6a16ec397a9120687a14254215
Author: Patrick Palka <ppalka@redhat.com>
Date:   Fri Jan 28 08:18:28 2022 -0500

    c++: var tmpl w/ dependent constrained auto type [PR103341]

    When deducing the type of a variable template (or templated static data
    member) with a constrained auto type, we might need its template
    arguments for satisfaction since the constraint could depend on them.

            PR c++/103341

    gcc/cp/ChangeLog:

            * decl.c (cp_finish_decl): Pass the template arguments of a
            variable template specialization or a templated static data
            member to do_auto_deduction when the auto is constrained.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/concepts-class4.C: New test.
            * g++.dg/cpp2a/concepts-var-templ2.C: New test.

    (cherry picked from commit e272cf95ba048fde60b21aee046c9ca9c9264425)