Auto merge of #2080 - RalfJung:2phase, r=RalfJung

make sure 2-phase borows work even with raw ptr tagging
rust-lang · Apr 21, 2022 · 2e419e4 · 2e419e4
2 parents edd4858 + 3ca59d2
commit 2e419e4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 {