From 14f5750c9e9d227c699119c6dcd9971d5cc57af6 Mon Sep 17 00:00:00 2001
From: Urgau <urgau@numericable.fr>
Date: Thu, 8 Jun 2023 21:36:20 +0200
Subject: [PATCH] Adjust some tests for invalid_reference_casting improvements

---
 tests/fail/both_borrows/illegal_write1.rs    | 2 ++
 tests/fail/stacked_borrows/illegal_write3.rs | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/tests/fail/both_borrows/illegal_write1.rs b/tests/fail/both_borrows/illegal_write1.rs
index d3991949cc..92f273f67b 100644
--- a/tests/fail/both_borrows/illegal_write1.rs
+++ b/tests/fail/both_borrows/illegal_write1.rs
@@ -1,6 +1,8 @@
 //@revisions: stack tree
 //@[tree]compile-flags: -Zmiri-tree-borrows
 
+#![allow(invalid_reference_casting)]
+
 fn main() {
     let target = Box::new(42); // has an implicit raw
     let xref = &*target;
diff --git a/tests/fail/stacked_borrows/illegal_write3.rs b/tests/fail/stacked_borrows/illegal_write3.rs
index 6f55b63cb5..f79f7b561b 100644
--- a/tests/fail/stacked_borrows/illegal_write3.rs
+++ b/tests/fail/stacked_borrows/illegal_write3.rs
@@ -1,3 +1,5 @@
+#![allow(invalid_reference_casting)]
+
 fn main() {
     let target = 42;
     // Make sure raw ptr with raw tag cannot mutate frozen location without breaking the shared ref.