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

[rust-highfive]

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

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

[RalfJung]

Yeah I expected that PR to break Miri.^^ I'll look into it.

[sivadeilra]

I'll take a look.

[sivadeilra]

Is there a failed CI job that I can look at?

[RalfJung]

Thanks for the offer! However, this will be much easier to do with some Miri experience, so in the interest of getting Miri to work again ASAP, it's probably better if I do it.

[sivadeilra]

Oh, certainly. I spent some time trying to learn how to get Miri building and running, which I have always wanted to do, anyway.

Here's my first attempt at fixing it:

sivadeilra/miri@d2ebf4b

Pretty obvious stuff, I guess.