8d25d6b2c9bb04c9f0d222ed6b900f696c0e7ebe will probably be possible to revert shortly. https://github.com/rust-lang/miri/issues/2431 https://github.com/rust-lang/miri/pull/2436
8d25d6b will probably be possible to revert shortly.
rust-lang/miri#2431
rust-lang/miri#2436