rustup

RalfJung · RalfJung · commit ebb70da4c66d · 2022-04-10T09:36:30.000-04:00
diff --git a/rust-version b/rust-version
@@ -1 +1 @@
-fbdb10f9fabe47eb763cb4b52b5721740cc63783
+7af93292c27cd8b4a14f0f35bcb4c7e7ca9c287a
diff --git 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;

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`// ignore-windows: Concurrency on Windows is not supported yet.`
	`2`	`+// compile-flags: -Zmiri-strict-provenance`
`2`	`3`
`3`	`4`	`use std::sync::mpsc::{channel, sync_channel};`
`4`	`5`	`use std::thread;`