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

[rust-highfive]

Hello, this is your friendly neighborhood mergebot.
After merging PR #75436, 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 @JohnTitor, do you think you would have time to do the follow-up work?
If so, that would be great!

And nominating for compiler team prioritization.

[JohnTitor]

Here's the fix by oli: rust-lang/miri#1507

[camelid]

It looks like the PR is merged. Should this issue be closed or are there further steps to complete until it's fully fixed?

[JohnTitor]

It looks like the PR is merged. Should this issue be closed or are there further steps to complete until it's fully fixed?

The submodule should be updated to fix toolstate.

[camelid]

Thanks! I'm trying to understand the protocol around tool breakages, so I was trying to understand why the issue wasn't yet closed :)

[RalfJung]

I'll get rust-lang/miri#1504 into Miri and then submit a submodule update that will close this issue. :)

I often wait a bit after Miri is fixed before doing the submodule update, to collect more things into the same update. It's okay when Miri is missing for a few days.