Auto merge of #62105 - JohnTitor:update-miri, r=RalfJung
Auto merge of #62105 - JohnTitor:update-miri, r=RalfJung

Update miri

Fixes #62101

r? @RalfJung

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