Skip to content

Commit a54ecb4

Browse files
committed
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.
1 parent ca6cd09 commit a54ecb4

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

ci/miri.sh

+1-1
Original file line numberDiff line numberDiff line change
@@ -9,4 +9,4 @@ rustup toolchain install nightly --component miri
99
rustup override set nightly
1010
cargo miri setup
1111

12-
cargo miri test
12+
MIRIFLAGS='-Zmiri-retag-fields' cargo miri test

0 commit comments

Comments
 (0)