[Bug c++/85765] [8/9 Regression] Missing SFINAE in default template argument

[jason at gcc dot gnu.org]

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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Mon Jun 11 22:02:13 2018
New Revision: 261463

URL: https://gcc.gnu.org/viewcvs?rev=261463&root=gcc&view=rev
Log:
        PR c++/85765 - SFINAE and non-type default template arg.

        * pt.c (type_unification_real): Do full semantic processing if
        substituting a partial args list replaces all template parms.

Added:
    branches/gcc-8-branch/gcc/testsuite/g++.dg/cpp0x/fntmpdefarg10.C
Modified:
    branches/gcc-8-branch/gcc/cp/ChangeLog
    branches/gcc-8-branch/gcc/cp/pt.c