Auto merge of #2239 - RalfJung:rustup, r=RalfJung
Auto merge of #2239 - RalfJung:rustup, r=RalfJung

rustup

Cc https://github.com/rust-lang/rust/issues/98107

rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri