From 1f751c632388909403bf32fe0d57268efe01c268 Mon Sep 17 00:00:00 2001
From: nils <48135649+Nilstrieb@users.noreply.github.com>
Date: Tue, 6 Sep 2022 09:41:24 +0200
Subject: [PATCH] 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.
---
 ci/miri.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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