On Thursday, 17 December 2015 at 11:41:09 UTC, John Colvin wrote:
Seems feasible to me for the compiler:If the call doesn't compile, try moving the first argument (or second on a ufcs call) to be the first template argument. If that would compile, suggest it to the user in the error output.
That's more or less the first implementation that came to my mind, too.
