Implement higher-ranked trait bounds.#18993

Merged

bors merged 14 commits intorust-lang:masterfrom

nikomatsakis:hrtb-5

Nov 18, 2014

Commits on Nov 18, 2014

Place parenthetical notation under the `unboxed_closure` feature-gate.
nikomatsakis
committed
Pull out the fn-sig sub/lub/glb code and generalize it into a `higher_ranked` module. Also moves the docs to a more suitable place.
nikomatsakis
committed
Switch the code to use De Bruijn indices rather than binder-ids.
nikomatsakis
committed
Introduce some sanity checking assertions in trans, erase regions more aggressively.
nikomatsakis
committed
Make it an error to use parenthetical notation with
nikomatsakis
committed
Convert TyPolyTraitRef to accept arbitary bounds, so that things like
nikomatsakis
committed
Stop checking the correctness of explicit self twice; instead, just
nikomatsakis
committed
Miscellaneous reformatttings and renamings.
nikomatsakis
committed
Test resolving of names with `for` binders.
nikomatsakis
committed
Introduce machinery for higher-ranked TraitRefs
nikomatsakis
committed
Allow impl's to have late-bound regions. Introduces another level of
nikomatsakis
committed
Update tests for `()` notation to use traits not structs
nikomatsakis
committed
Update test for equivalency to include region binders in object types, add new tests relating to HRTB, consolidate the `unboxed_closures` and `overloaded_calls` feature gates.
nikomatsakis
committed
Fix merge conflict about `[]` coercions in new tests
nikomatsakis
committed