Enable -Zmiri-retag-fields in CI

Now that the bug is fixed, this can be enabled. Field retagging is required to justify some of the `noalias` optimizations that rustc performs currently.
rust-lang · Sep 6, 2022 · 4f3f617 · 4f3f617
1 parent dd27c54
commit 4f3f617
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/miri.sh b/ci/miri.sh
@@ -9,4 +9,4 @@ rustup toolchain install nightly --component miri
 rustup override set nightly
 cargo miri setup
 
-cargo miri test
+MIRIFLAGS='-Zmiri-retag-fields' cargo miri test