From ebb70da4c66dba4a0e036377b3cc19cc41f92e9a Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 10 Apr 2022 09:36:30 -0400
Subject: [PATCH] rustup

---
 rust-version                           | 2 +-
 tests/run-pass/concurrency/channels.rs | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/rust-version b/rust-version
index 0866489745..34bc4a8038 100644
--- 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
index 7d28cd726d..b0c095b2d3 100644
--- 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;