Repository navigation

some trait system cleanups - #120463

Merged

bors merged 5 commits into

rust-lang:masterfrom

lcnr:eager-inference-replacement

Feb 19, 2024

Merged

some trait system cleanups#120463
bors merged 5 commits into
rust-lang:masterfrom
lcnr:eager-inference-replacement

Commits on Feb 19, 2024
- never normalize without eager inference replacement
  lcnr
  committed
  486c7b6
- remove `pred_known_to_hold_modulo_regions`
  lcnr
  committed
  399a258
- `normalize_projection_ty` is not used with next-solver
  lcnr
  committed
  df55f56
- split `project` into multiple files
  lcnr
  committed
  9771fb0
- remove outdated comment
  lcnr
  committed
  0c7672a