miri no longer builds after rust-lang/rust#95562

[rust-highfive]

Hello, this is your friendly neighborhood mergebot.
After merging PR #95562, I observed that the tool miri no longer builds.
A follow-up PR to the repository https://github.com/rust-lang/miri is needed to fix the fallout.

cc @lcnr, do you think you would have time to do the follow-up work?
If so, that would be great!

[lcnr]

can't get to it today, but should be able to fix this on monday

[RalfJung]

I'll look into it; Monday is a bit late -- more incompat changes might pile up, making this all a lot harder to diagnose.