error diagnosis: range.algorithm(myFunc)

[ZombineDev via Digitalmars-d]

On Thursday, 17 December 2015 at 01:04:15 UTC, Luís Marques wrote:
> Hi,
>
> I often type `range.algorithm(myFunc)` instead of the correct 
> `range.algorithm!(myFunc)`. Would it be possible to improve the 
> error message for this? Something like the compiler spell 
> checker, and ask "did you mean `range.algorithm!(myFunc)`?".
>
> That has happened sometimes with a non-UFCS call, but that's 
> rarer, so just handling the UFCS case would bring most of the 
> benefit, IMO.

I think it's not easy to make a general checker that can sugest 
changing a run-time argument into a compile-time one.
A static assert should be flexible enough solution, but we would 
need to make all of the template constraints into static asserts, 
because otherwise the compiler will never reach the static assert 
that would check if the type of the first run-time arg is not a 
function.