Auto merge of #78817 - RalfJung:miri, r=RalfJung · rust-lang/rust@0256d06

Commit

Auto merge of #78817 - RalfJung:miri, r=RalfJung

update Miri

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

bors committed Nov 7, 2020

2 parents a601302 + e261ded commit 0256d06

+7 −4		CONTRIBUTING.md
+4 −2		README.md
+1 −1		rust-version
+1 −4		src/shims/backtrace.rs
+1 −1		tests/compile-fail/backtrace/bad-backtrace-ptr.rs
+1 −1		tests/run-pass/backtrace-api.rs
+1 −1		tests/run-pass/backtrace-std.rs
+1 −1		tests/run-pass/concurrency/sync.rs
+1 −1		tests/run-pass/panic/panic1.rs
+2 −0		tests/run-pass/rc.rs
+13 −0		tests/run-pass/stacked-borrows/int-to-ptr.rs
+25 −11		tests/run-pass/stacked-borrows/stacked-borrows.rs
+1 −1		tests/run-pass/thread-local.rs