[Bug c++/105481] [10/11/12/13 Regression] ICE: unexpected expression of kind template_parm_index

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:4e2cdb1ddb5f6ace909358775e94bfe23046ad5a

commit r13-6853-g4e2cdb1ddb5f6ace909358775e94bfe23046ad5a
Author: Jason Merrill <jason@redhat.com>
Date:   Thu Mar 23 18:20:52 2023 -0400

    c++: default template arg, partial ordering [PR105481]

    The default argument code in type_unification_real was assuming that all
    targs we've deduced by that point are non-dependent, but that's not the
case
    for partial ordering.

            PR c++/105481

    gcc/cp/ChangeLog:

            * pt.cc (type_unification_real): Adjust for partial ordering.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp0x/fntmpdefarg-partial1.C: New test.