Make method calls use trait matching infrastructure#18121

Merged

bors merged 13 commits intorust-lang:masterfrom

nikomatsakis:method-call-use-trait-matching-infrastructure-2

Oct 22, 2014

Commits on Oct 21, 2014

Prune unused parameters.
nikomatsakis
committed
Implement "method matching". Similar to trait matching, but with the twist that we
nikomatsakis
committed
Permit DST types to unify like other types.
nikomatsakis
committed
Generalize the replace-late-bound-regions function to operate
nikomatsakis
committed
Change method lookup infrastructure to use the trait methods. Instead
nikomatsakis
committed
Correct case where the old version of method lookup was incorrectly matching,
nikomatsakis
committed
The new method lookup mechanism typechecks calls against the method type declared in the trait, not in the impl. In some cases that results in tighter rules, and in some cases looser. Correct for t…
nikomatsakis
committed
Test where the old infrastructure failed to detect the (applicable) impl of `FnMut` for
nikomatsakis
committed
Various minor cases where errors are reported in slightly different ways.
nikomatsakis
committed
Tests for method resolution in the face of various ambiguities or non-ambiguities. These
nikomatsakis
committed
Coherence tests that seemed to be missing.
nikomatsakis
committed
Address nits by @pcwalton
nikomatsakis
committed
Patch up broken error messages
nikomatsakis
committed