Repository navigation

Deeply normalize `TypeTrace` when reporting type error in new solver - #131756

Merged

bors merged 2 commits into

rust-lang:masterfrom

compiler-errors:deeply-normalize-type-err

Oct 24, 2024

Merged

Deeply normalize `TypeTrace` when reporting type error in new solver#131756
bors merged 2 commits into
rust-lang:masterfrom
compiler-errors:deeply-normalize-type-err

Commits on Oct 24, 2024
- Plumb through param_env to note_type_err
  compiler-errors
  committed
  1920c66
- Deeply normalize type trace in type error reporting
  compiler-errors
  committed
  4217b87