Implementation of RFC 2289 (associated_type_bounds) - #57428

Merged

bors merged 24 commits into

rust-lang:masterfrom

alexreg:associated_type_bounds

Jun 6, 2019

Commits on Jun 5, 2019

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

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

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

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

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

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

nikomatsakis
authored and
Alexander Regueiro
committed
83078f0
more comments

nikomatsakis
authored and
Alexander Regueiro
committed
18d5085
another comment

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

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

Commits on Jun 6, 2019

Reblessed tests with NLL compare mode on.
alexreg
committed
ee89033