Deeply normalize item bounds in new solver#137000

Merged

bors merged 2 commits intorust-lang:masterfrom compiler-errors:deeply-normalize-item-bounds

Feb 19, 2025

+116-75

Commits on Feb 17, 2025

Prefer param-env candidates even when alias's trait bound isn't proven via param-env
compiler-errors
committed
Deeply normalize associated type bounds before proving them
compiler-errors
committed