Inferring function argument types from other argument types

[bearophile]

Joseph Rushton Wakeling:

> But I fear the bug is simply in correctly reporting the 
> location of the error, rather than code that should work and 
> doesn't?

That code doesn't work, according to the specs. So the error I 
have reported is just about the wrong line number.

Making your code work is an enhancement request, but I remember 
hara saying it's a significant change.

So you need to use something like isConvertible.

Bye,
bearophile