Auto merge of #81743 - RalfJung:miri, r=RalfJung · m-ou-se/rust@822ebfd

Commit

Auto merge of rust-lang#81743 - RalfJung:miri, r=RalfJung

update Miri

Fixes rust-lang#81726
Cc `@rust-lang/miri` r? `@ghost`

bors committed Feb 4, 2021

2 parents e708cbd + 0fe1e26 commit 822ebfd

src/tools/miri

Submodule miri updated 6 files

+1 −1		rust-version
+2 −2		src/bin/miri.rs
+2 −0		src/shims/posix/dlsym.rs
+4 −50		src/shims/windows/dlsym.rs
+0 −6		src/shims/windows/foreign_items.rs
+1 −0		tests/compile-fail/erroneous_const.rs

Please sign in to comment.