Auto merge of #96424 - oli-obk:miri_update, r=oli-obk · rust-lang/rust@3d237ab

Commit

Auto merge of #96424 - oli-obk:miri_update, r=oli-obk

update miri submodule

r? `@ghost`

fixes  #96402

bors committed Apr 26, 2022

2 parents d6a57d3 + 04ac382 commit 3d237ab

src/tools/miri

Submodule miri updated 8 files

+9 −5		README.md
+1 −1		rust-version
+58 −33		src/bin/miri.rs
+11 −9		src/eval.rs
+8 −7		src/machine.rs
+2 −2		src/shims/foreign_items.rs
+12 −11		src/stacked_borrows.rs
+1 −0		tests/run-pass/stacked-borrows/2phase.rs

Please sign in to comment.