Implementation of RFC 2289 (associated_type_bounds)#57428

Merged

bors merged 24 commits intorust-lang:masterfrom

alexreg:associated_type_bounds

Jun 6, 2019

Commits on Jun 5, 2019

Aggregation of drive-by cosmetic changes.
alexreg
committed
Enabled `Self` in type aliases.
alexreg
committed
Implemented for function bounds, type bounds, and named existential types.
alexreg
committed
Implemented for traits (associated type definitions).
alexreg
committed
Use both existential-type desugaring and where-clause (predicate) desugaring depending on context.
alexreg
committed
Added feature gate.
alexreg
committed
Added test suite.
alexreg
committed
Addressed points raised in review.
alexreg
committed
Added some comments to lowering code.

nikomatsakis
authored and
Alexander Regueiro
committed
Added some comments, made `add_bounds` private.

nikomatsakis
authored and
Alexander Regueiro
committed
Fixed up some comments.
alexreg
committed
Addressed points raised in review.

nikomatsakis
authored and
Alexander Regueiro
committed
Fixed rebase fallout.
alexreg
committed
Reblessed tests.
alexreg
committed
Removed unnecessary nested-lifetime-bounds test.
alexreg
committed
added a few comments

nikomatsakis
authored and
Alexander Regueiro
committed
document the `Bounds` struct a bit
alexreg
committed
make `instantiate_poly_trait_ref_inner` private to this module

nikomatsakis
authored and
Alexander Regueiro
committed
comment `instantiate_poly_trait_ref` and its binder behavior

nikomatsakis
authored and
Alexander Regueiro
committed
more comments

nikomatsakis
authored and
Alexander Regueiro
committed
another comment

nikomatsakis
authored and
Alexander Regueiro
committed
verified that skip-binder is ok

nikomatsakis
authored and
Alexander Regueiro
committed
add an example to `create_substs_for_ast_path`
alexreg
committed

Commits on Jun 6, 2019

Reblessed tests with NLL compare mode on.
alexreg
committed