Code

Add new rpitit compare mode#108710

Code

Closed

spastorino wants to merge 12 commits intorust-lang:masterrust-lang/rust:masterfrom

spastorino:add-new-rpitit-compare-modespastorino/rust:add-new-rpitit-compare-modeCopy head branch name to clipboard

Commits

Commits on Mar 3, 2023

• Avoid accessing HIR for RPITITs on check_type_bounds

  spastorino

  committed
  64872a8

  Copy full SHA for 64872a8

• Collect DefKind::AssocTy in new RPITITs on ImplTraitInTraitCollector

  spastorino

  committed
  b147919

  Copy full SHA for b147919

• Map to new synthesized assoc ty for RPITITs in astconv

  spastorino

  committed
  130bcfd

  Copy full SHA for 130bcfd

• Properly implement explicit_item_bounds for RPITITs trait assoc ty

  spastorino

  committed
  3d71fa6

  Copy full SHA for 3d71fa6

• Implement type_of for RPITITs assoc type

  spastorino

  committed
  3f1900f

  Copy full SHA for 3f1900f

• Implement param_env for RPITITs assoc type

  spastorino

  committed
  75954a1

  Copy full SHA for 75954a1

• Implement generics_of for impl side RPITITs assoc type

  spastorino

  committed
  90bae57

  Copy full SHA for 90bae57

• Implement explicit_predicates_of for impl side RPITITs assoc type

  spastorino

  committed
  31cfcc0

  Copy full SHA for 31cfcc0

• Implement inferred_outlives_of for impl side RPITITs assoc type

  spastorino

  committed
  11a315a

  Copy full SHA for 11a315a

• Avoid accessing HIR for RPITITs assoc type on mark_live_symbols

  spastorino

  committed
  6e5642f

  Copy full SHA for 6e5642f

• Add simpl impl trait test for RPITIT

  spastorino

  committed
  4f6a819

  Copy full SHA for 4f6a819

• Add compare mode for lower-impl-trait-in-trait-to-assoc-ty

  spastorino

  committed
  7dfcdca

  Copy full SHA for 7dfcdca