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

rustup

Author: bors

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

rust-version

@@ -1 +1 @@
-1a4e2b6f9c75a0e21722c88a0e3b610d6ffc3ae3
+67100f61e62a86f2bf9e38552ee138e231eddc74