[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 #1 from Vladimir Panteleev <dlang-bugzilla at thecybershadow.net> ---
Looks like there is code to do this when resolving overloads:

https://github.com/dlang/dmd/blob/master/src/dmd/dtemplate.d#L1175-L1177

Indeed, the example above works if modified simply by adding an overload:

void fun()(float a) {}

--