diff --git a/tests/run-pass/stacked-borrows/2phase.rs b/tests/run-pass/stacked-borrows/2phase.rs index 97f435472e30..948da140477e 100644 --- a/tests/run-pass/stacked-borrows/2phase.rs +++ b/tests/run-pass/stacked-borrows/2phase.rs @@ -1,3 +1,4 @@ +// compile-flags: -Zmiri-tag-raw-pointers #![allow(mutable_borrow_reservation_conflict)] trait S: Sized {