Rollup of 2 pull requests#61565

Closed

Centril wants to merge 29 commits intorust-lang:masterfrom

Centril:rollup-w18ayjn

Commits on Jun 5, 2019

Remove unused `TypeVariableOrigin` variants
varkor
committed
Refactor `TypeVariableOrigin` into `TypeVariableOrigin` and `TypeVariableOriginKind`
varkor
committed
Refactor `ConstVariableOrigin` into `ConstVariableOrigin` and `ConstVariableOriginKind`
varkor
committed
Fix after rebase
varkor
committed
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
Rollup merge of #57428 - alexreg:associated_type_bounds, r=nikomatsakis,Centril
Centril
authored
Rollup merge of #59331 - varkor:TypeVariableOrigin-refactor, r=eddyb
Centril
authored

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Rollup of 2 pull requests#61565

Rollup of 2 pull requests#61565
Centril wants to merge 29 commits intorust-lang:masterfrom
Centril:rollup-w18ayjn

Commits on Jun 5, 2019

Remove unused `TypeVariableOrigin` variants

Refactor `TypeVariableOrigin` into `TypeVariableOrigin` and `TypeVariableOriginKind`

Refactor `ConstVariableOrigin` into `ConstVariableOrigin` and `ConstVariableOriginKind`

Fix after rebase

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`

Rollup merge of #57428 - alexreg:associated_type_bounds, r=nikomatsakis,Centril

Rollup merge of #59331 - varkor:TypeVariableOrigin-refactor, r=eddyb