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

Update Miri

Fixes #86792.

r? `@RalfJung`

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