Repository navigation

Add new rpitit compare mode - #108710

Closed

spastorino wants to merge 12 commits into

rust-lang:masterfrom

spastorino:add-new-rpitit-compare-mode

Closed

Add new rpitit compare mode#108710
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