Auto merge of #84753 - hyd-dev:update-miri, r=RalfJung · rust-lang/rust@4ae0a8e

Commit

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

Update Miri

To include rust-lang/miri#1783, hence fixes #84741.

r? `@RalfJung`

bors committed Apr 30, 2021

2 parents 8fef006 + 3be4d4b commit 4ae0a8e

+1 −1		benches/helpers/miri_helper.rs
+1 −1		rust-version
+1 −1		src/bin/miri.rs
+4 −0		test-cargo-miri/Cargo.toml
+4 −0		test-cargo-miri/src/lib.rs
+1 −0		test-cargo-miri/test.cross-target.stdout.ref
+1 −0		test-cargo-miri/test.default.stdout.ref
+1 −0		test-cargo-miri/test.filter.cross-target.stdout.ref
+1 −0		test-cargo-miri/test.filter.stdout.ref
+3 −0		test-cargo-miri/tests/main.rs
+7 −0		tests/run-pass/main_fn.rs