Repository navigation

Uplift trait ref is knowable into `rustc_next_trait_solver` - #127437

Merged

bors merged 3 commits into

rust-lang:masterfrom

compiler-errors:uplift-trait-ref-is-knowable

Jul 8, 2024

Merged

Uplift trait ref is knowable into `rustc_next_trait_solver`#127437
bors merged 3 commits into
rust-lang:masterfrom
compiler-errors:uplift-trait-ref-is-knowable

Commits on Jul 7, 2024
- Add fundamental to trait def
  compiler-errors
  committed
  b2e30bd
- Uplift trait_ref_is_knowable and friends
  compiler-errors
  committed
  a982471
- Get rid of trait_ref_is_knowable from delegate
  compiler-errors
  committed
  ab27c2f