Auto merge of #2062 - RalfJung:rustup, r=RalfJung

rustup https://github.com/rust-lang/rust/pull/95621 made channels strict provenance compliant. :)
2022-04-10 13:37:33 +00:00 · 2022-04-10 13:37:33 +00:00 · 8a9ef3c248
commit 8a9ef3c248
parent a4a667b3ce ebb70da4c6
2 changed files with 2 additions and 1 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-fbdb10f9fabe47eb763cb4b52b5721740cc63783
+7af93292c27cd8b4a14f0f35bcb4c7e7ca9c287a
--- a/tests/run-pass/concurrency/channels.rs
+++ b/tests/run-pass/concurrency/channels.rs
@ -1,4 +1,5 @@
 // ignore-windows: Concurrency on Windows is not supported yet.
+// compile-flags: -Zmiri-strict-provenance

 use std::sync::mpsc::{channel, sync_channel};
 use std::thread;