Overload resolution simplification

[maurizio cimadamore]

On 10-Aug-13 9:13 PM, Remi Forax wrote:
> For implicit lambda, I see no issue if the compiler tries to typecheck 
> the same lambda with different parameters but in that case, the 
> compiler should not try go ahead by creating a new context. Again, it 
> means that if one typechecking of the lambda expression is stuck, the 
> compiler should stop. 
I'm not following this. If you type-check a lambda with multiple 
parameters then you have combinatorial explosion. What am I missing?

Maurizio