From 9d41e4c899e81b25b20ee92a542be4982197b9c8 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 25 Jun 2020 11:34:52 +0200
Subject: [PATCH] rustup

---
 ci.sh        | 8 ++++----
 rust-version | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/ci.sh b/ci.sh
index 0625c255757..ac0d080a483 100755
--- a/ci.sh
+++ b/ci.sh
@@ -23,11 +23,11 @@ function run_tests {
   fi
 
   ./miri test --locked
-  #if ! [ -n "${MIRI_TEST_TARGET+exists}" ]; then
+  if ! [ -n "${MIRI_TEST_TARGET+exists}" ]; then
     # Only for host architecture: tests with MIR optimizations
-    # FIXME: disabled because of <https://github.com/rust-lang/rust/issues/73609>.
-    #MIRI_TEST_FLAGS="-Z mir-opt-level=3" ./miri test --locked
-  #fi
+    # FIXME:only testing level 1 because of <https://github.com/rust-lang/rust/issues/73223>.
+    MIRI_TEST_FLAGS="-Z mir-opt-level=1" ./miri test --locked
+  fi
   # "miri test" has built the sysroot for us, now this should pass without
   # any interactive questions.
   ${PYTHON:-python3} test-cargo-miri/run-test.py
diff --git a/rust-version b/rust-version
index 9f71640a53f..8a53046ddfb 100644
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-1a4e2b6f9c75a0e21722c88a0e3b610d6ffc3ae3
+67100f61e62a86f2bf9e38552ee138e231eddc74