diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/mir-opt/retag.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/test/mir-opt/retag.rs b/src/test/mir-opt/retag.rs index 13568b822..86deb0e7c 100644 --- a/src/test/mir-opt/retag.rs +++ b/src/test/mir-opt/retag.rs @@ -1,3 +1,4 @@ +// unit-test: AddRetag // ignore-wasm32-bare compiled with panic=abort by default // ignore-tidy-linelength // compile-flags: -Z mir-emit-retag -Z mir-opt-level=0 -Z span_free_formats |