Rollup merge of #84753 - hyd-dev:update-miri, r=RalfJung · GuillaumeGomez/rust@e721c9e

Commit

Rollup merge of rust-lang#84753 - hyd-dev:update-miri, r=RalfJung

Update Miri

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

r? `@RalfJung`

GuillaumeGomez committed Apr 30, 2021

2 parents 5d56d69 + 3be4d4b commit e721c9e

+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