From 3ca59d2fbf7b60b83ab79bf98e951ef54ff1ffad Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 21 Apr 2022 16:09:35 +0200 Subject: [PATCH] make sure 2-phase borows work even with raw ptr tagging --- tests/run-pass/stacked-borrows/2phase.rs | 1 + 1 file changed, 1 insertion(+) 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 {