Rollup of 4 pull requests - #116193

Merged

bors merged 13 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-wpt7m5t

Sep 27, 2023

Commits on Sep 25, 2023

Eliminate `with_tables` helper
oli-obk
committed
e02a139
Eliminate escape hatch
oli-obk
committed
55b6f64
Fix test by adding a stable way to get an opaque DefKind
oli-obk
committed
33998a9
Move `Opaque` to `stable_mir`
oli-obk
committed
19f1d78
Split out the stable part of smir into its own crate to prevent accidental usage of forever unstable things
oli-obk
committed
a38e983
Rebase fallout
oli-obk
committed
411e431

Commits on Sep 26, 2023

Anonymize binders for refining_impl_trait check
compiler-errors
committed
305524d
add test
Milo123459
committed
35f9345
Add context to `let: Ty = loop { break };`
estebank
committed
4b15959

Commits on Sep 27, 2023