Repository navigation

Rollup of 7 pull requests - #119143

Closed

compiler-errors wants to merge 19 commits into

rust-lang:masterfrom

compiler-errors:rollup-vps74yb

Closed

Rollup of 7 pull requests#119143
compiler-errors wants to merge 19 commits into
rust-lang:masterfrom
compiler-errors:rollup-vps74yb

Commits on Dec 18, 2023
- track the source of nested goals
  lcnr
  committed
  ca718ff
- dont discard overflow from normalizes-to goals
  lcnr
  committed
  4a38442
Commits on Dec 19, 2023