Auto merge of #85072 - hyd-dev:miri, r=RalfJung
Auto merge of #85072 - hyd-dev:miri, r=RalfJung

Update Miri

Fixes #85027

r? `@RalfJung`

graydon/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,aidancully/rust,aidancully/rust,graydon/rust