diff --git a/ci/miri.sh b/ci/miri.sh index 68d6af61c6..9d845d833b 100644 --- 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