[Issue 21917] Unused default values for IFTI parameters should not be typechecked against the IFTI-inferred type

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=21917

--- Comment #6 from Nick Treleaven <nick at geany.org> ---
> Looks like there is code to do this when resolving overloads:

I think that's now in templatesem.d, matchWithInstance:

            // Shouldn't run semantic on default arguments and return type.
            foreach (ref param; *tf.parameterList.parameters)
                param.defaultArg = null;

--