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

bors · bors · commit 2e419e4ff6a4 · 2022-04-21T14:10:20.000Z
make sure 2-phase borows work even with raw ptr tagging
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 {

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+// compile-flags: -Zmiri-tag-raw-pointers`
`1`	`2`	`#![allow(mutable_borrow_reservation_conflict)]`
`2`	`3`
`3`	`4`	`trait S: Sized {`