make sure 2-phase borows work even with raw ptr tagging

RalfJung · RalfJung · commit 3ca59d2fbf7b · 2022-04-21T16:09:35.000+02:00
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 {`