Merge pull request #4750 from RalfJung/ptr-int-tb

run ptr_int tests with Tree Borrows

Author: RalfJung

src/tools/miri/tests/pass/ptr_int_casts.rs

@@ -1,4 +1,6 @@
 //@compile-flags: -Zmiri-permissive-provenance
+//@revisions: stack tree
+//@[tree]compile-flags: -Zmiri-tree-borrows
 use std::{mem, ptr};
 
 fn eq_ref<T>(x: &T, y: &T) -> bool {

src/tools/miri/tests/pass/ptr_int_casts.tree.stderr

@@ -1,4 +1,6 @@
 //@compile-flags: -Zmiri-permissive-provenance
+//@revisions: stack tree
+//@[tree]compile-flags: -Zmiri-tree-borrows
 
 use std::ptr;