Separate projection bounds and predicates - #73905

Merged

bors merged 34 commits into

rust-lang:masterfrom

matthewjasper:projection-bounds-2

Oct 6, 2020

Commits on Oct 6, 2020

Rename projection_predicates to item_bounds
matthewjasper
committed
0eb87ed
Move item_bounds to typeck::collect
matthewjasper
committed
a7ead3b
Split bounds from predicates
matthewjasper
committed
d297147
Separate bounds and predicates for associated/opaque types
matthewjasper
committed
f958e6c
Make projection wf check the predicates for the projection
matthewjasper
committed
87f2f42
Check projections are well-formed when using projection candidates
matthewjasper
committed
b3057f4
Check opaque types satisfy their bounds
matthewjasper
committed
5b279c8
Check associated type bounds for object safety violations
matthewjasper
committed
1b07991
Remove unused part of return value from `replace_bound_vars_with_placeholders`
matthewjasper
committed
d4d9e7f
Move some code from rustc_typeck to rustc_trait_selection
matthewjasper
committed
0a76584
Ensure that associated types for trait objects satisfy their bounds
matthewjasper
committed
2bdf723
Fix tests and bootstrap
matthewjasper
committed
042464f
Fix tools
matthewjasper
committed
0dda415
Fix ICE
matthewjasper
committed
21eccbb
Address review comments
matthewjasper
committed
8787090
Remove predicates on associated types from traits
matthewjasper
committed
582ccec
Avoid cycle in nested obligations for object candidate
matthewjasper
committed
f52b2d8
Fix bugs in evaluating WellFormed predicates
matthewjasper
committed
bc08b79
Handle multiple applicable projection candidates
matthewjasper
committed
cfee495
Normalize projection bounds when considering candidates
matthewjasper
committed
34e5a49
Avoid cycle with projections from object types
matthewjasper
committed
596d6c4
Avoid cycles from projection bounds
matthewjasper
committed
0dfa6ff
Handle multiple trait-def projection candidates
matthewjasper
committed
ed32482
Fix bootstrap
matthewjasper
committed
6c4feb6
Don't immediately error for recursive projections
matthewjasper
committed
e297652
Fix rebase
matthewjasper
committed
d08ab94
Normalize super trait bounds when confirming object candidates
matthewjasper
committed
e674cf0
Don't require lifetime super-bounds on traits apply to trait objects of that trait
matthewjasper
committed
e42c979
Deduplicate item bounds after normalization
matthewjasper
committed
852073a
Fix rebase
matthewjasper
committed
27534b3
Avoid creating useless projection predicate
matthewjasper
committed
1db284e
Fix tests from rebase
matthewjasper
committed
022c148
Deduplicate some code
matthewjasper
committed
c9eeb60
Fix NLL compare mode tests
matthewjasper
committed
69fc6d8

Navigation Menu

Uh oh!

Separate projection bounds and predicates - #73905

Separate projection bounds and predicates#73905
bors merged 34 commits into
rust-lang:masterfrom
matthewjasper:projection-bounds-2

Commits on Oct 6, 2020

Rename projection_predicates to item_bounds

Move item_bounds to typeck::collect

Split bounds from predicates

Separate bounds and predicates for associated/opaque types

Make projection wf check the predicates for the projection

Check projections are well-formed when using projection candidates

Check opaque types satisfy their bounds

Check associated type bounds for object safety violations

Remove unused part of return value from `replace_bound_vars_with_placeholders`

Move some code from rustc_typeck to rustc_trait_selection

Ensure that associated types for trait objects satisfy their bounds

Fix tests and bootstrap

Fix tools

Fix ICE

Address review comments

Remove predicates on associated types from traits

Avoid cycle in nested obligations for object candidate

Fix bugs in evaluating WellFormed predicates

Handle multiple applicable projection candidates

Normalize projection bounds when considering candidates

Avoid cycle with projections from object types

Avoid cycles from projection bounds

Handle multiple trait-def projection candidates

Fix bootstrap

Don't immediately error for recursive projections

Fix rebase

Normalize super trait bounds when confirming object candidates

Don't require lifetime super-bounds on traits apply to trait objects of that trait

Deduplicate item bounds after normalization

Fix rebase

Avoid creating useless projection predicate

Fix tests from rebase

Deduplicate some code

Fix NLL compare mode tests