Use operator sugar in the expansion of `#[deriving(PartialEq)]`
Fix fallout of changing the expansion of `#[deriving(PartialEq)]`
DSTify PartialEq, PartialOrd, Eq, Ord
Fix fallout of DSTifying PartialEq, PartialOrd, Eq, Ord
DSTify Box<T> implementation of PartialEq, PartialOrd, Eq, Ord
Add test for the first half of issue #15689

cc #15689
Fix tests
Add blanket impls to allow the various `Fn` traits to be interconverted.

Fixes #18387.
Reverse order of lookup
Partial fix for #17901: Be less conservative around unbound type
variables in the intracrate case. This requires a deeper distinction
between inter- and intra-crate so as to keep coherence working.

I suspect the best fix is to generalize the recursion check that
exists today, but this requires a bit more refactoring to achieve.

(In other words, where today it says OK for an exact match, we'd want
to not detect exact matches but rather skolemize each trait-reference
fresh and return AMBIG -- but that requires us to make builtin bounds
work shallowly like everything else and move the cycle detection into
the fulfillment context.)
Correct tests that were supposed to fail but now pass due to the fn trait hierarchy.
auto merge of #18388 : nikomatsakis/rust/fn-trait-hierarchy, r=acrichto

Add blanket impls to allow the various `Fn` traits to be interconverted.

Fixes #18387.
auto merge of #18467 : japaric/rust/eq, r=alexcrichton

`eq`, `ne`, `cmp`, etc methods now require one less level of indirection when dealing with `&str`/`&[T]`

``` rust
"foo".ne(&"bar") -> "foo".ne("bar")
slice.cmp(&another_slice) -> slice.cmp(another_slice)
// slice and another_slice have type `&[T]`
```

[breaking-change]
Rewrite method resolution to be cleaner, more correct, and to lay
groundwork for better performance.

Key points:

- Separate out determining which method to use from actually selecting
  a method (this should enable caching, as well as the pcwalton fast-reject strategy).
- Merge the impl selection back into method resolution and don't rely on
  trait matching (this should perform better but also is needed to resolve some
  kind of conflicts, see e.g. `method-two-traits-distinguished-via-where-clause.rs`)
- Purge a lot of out-of-date junk and coercions from method lookups.
Introduce a global counter for inference variables. This *really
helps* for tracing an individual inference variable when debugging.