Auto merge of #100841 - RalfJung:miri, r=RalfJung

update Miri

Fixes https://github.com/rust-lang/rust/issues/100779
This commit is contained in:
bors
2022-08-21 13:54:06 +00:00