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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Implementation of RFC 2289 (associated_type_bounds)#57428

Commits on Jun 5, 2019

Aggregation of drive-by cosmetic changes.

Enabled `Self` in type aliases.

Implemented for function bounds, type bounds, and named existential types.

Implemented for traits (associated type definitions).

Use both existential-type desugaring and where-clause (predicate) desugaring depending on context.

Added feature gate.

Added test suite.

Addressed points raised in review.

Added some comments to lowering code.

Added some comments, made `add_bounds` private.

Fixed up some comments.

Addressed points raised in review.

Fixed rebase fallout.

Reblessed tests.

Removed unnecessary nested-lifetime-bounds test.

added a few comments

document the `Bounds` struct a bit

make `instantiate_poly_trait_ref_inner` private to this module

comment `instantiate_poly_trait_ref` and its binder behavior

more comments

another comment

verified that skip-binder is ok

add an example to `create_substs_for_ast_path`

Commits on Jun 6, 2019

Reblessed tests with NLL compare mode on.