Rollup of 7 pull requests - #135172

Merged

bors merged 15 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-8fe3fxi

Jan 7, 2025

Commits on Dec 25, 2024

Use PostBorrowckAnalysis in check_coroutine_obligations
compiler-errors
committed
2c31c55
Report correct SelectionError for ConstArgHasType in new solver fulfill
compiler-errors
committed
5922599

Commits on Dec 31, 2024

Suppress host effect predicates if underlying trait doesn't hold
compiler-errors
committed
899d9e6
nit: what the heck is `o`
compiler-errors
committed
62d6ee3

Commits on Jan 6, 2025