Rollup of 7 pull requests - #131158

Merged

bors merged 17 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-3x2vado

Oct 2, 2024

Commits on Sep 29, 2024

Document a bit more how the SDK version actually works
madsmtm
committed
0bebedd
Add run-make test to check the SDK version(s) that rustc produces
madsmtm
committed
8964c48
Do not specify an SDK version in object files
madsmtm
committed
6b06ceb

Commits on Sep 30, 2024

Relax a debug assertion in codegen
compiler-errors
committed
eb75d20
Relate binders explicitly, do a leak check too
compiler-errors
committed
cbb5047

Commits on Oct 2, 2024