Add new rpitit compare mode - #108710

Closed

spastorino wants to merge 12 commits into

rust-lang:masterfrom

spastorino:add-new-rpitit-compare-mode

Commits on Mar 3, 2023

Avoid accessing HIR for RPITITs on check_type_bounds
spastorino
committed
64872a8
Collect DefKind::AssocTy in new RPITITs on ImplTraitInTraitCollector
spastorino
committed
b147919
Map to new synthesized assoc ty for RPITITs in astconv
spastorino
committed
130bcfd
Properly implement explicit_item_bounds for RPITITs trait assoc ty
spastorino
committed
3d71fa6
Implement type_of for RPITITs assoc type
spastorino
committed
3f1900f
Implement param_env for RPITITs assoc type
spastorino
committed
75954a1
Implement generics_of for impl side RPITITs assoc type
spastorino
committed
90bae57
Implement explicit_predicates_of for impl side RPITITs assoc type
spastorino
committed
31cfcc0
Implement inferred_outlives_of for impl side RPITITs assoc type
spastorino
committed
11a315a
Avoid accessing HIR for RPITITs assoc type on mark_live_symbols
spastorino
committed
6e5642f
Add simpl impl trait test for RPITIT
spastorino
committed
4f6a819
Add compare mode for lower-impl-trait-in-trait-to-assoc-ty
spastorino
committed
7dfcdca