[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 #11 from Max Samukha <maxsamukha at gmail.com> ---
(In reply to Max Samukha from comment #10)

> void foo(U, T = int)(T a = T.init)
> {
> }
> 
> void main()
> {
>     foo!bool(0);
>     foo!bool("x");
> }
> 
Error: function `foo` is not callable using argument types `(string)`

--