Overload resolution simplification

[Dan Smith]

On Aug 31, 2013, at 5:12 AM, Remi Forax <forax at univ-mlv.fr> wrote:

> I disagree that the actual overload resolution is independent on the context,
> the choice of the most specific method is but the choice of applicable methods is not independent of the context.

Sorry, I'm not following.  How is applicability dependent on the context in which the invocation appears?  Can you illustrate?

> so when there are several overloads and an implicitly typed lambda,
> we can first try to select a subset of all overloads (like we currently select applicable methods) and then
> use the fact that the inferred signature must be the same for all applicable overloads.

Again, not following.  What is the basis for selecting "a subset of all overloads"?  If we know the inferred parameter types must be the same, even if we don't know what they are (which is always true for comparing, I think you're saying), how do we "use [that] fact"?

—Dan