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 <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:4e2cdb1ddb5f6ace909358775e94bfe23046ad5a commit r13-6853-g4e2cdb1ddb5f6ace909358775e94bfe23046ad5a Author: Jason Merrill <ja...@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.