Skip to content

Commit 14f5750

Browse files
committed
Adjust some tests for invalid_reference_casting improvements
1 parent 2451ef5 commit 14f5750

File tree

2 files changed

+4
-0
lines changed

2 files changed

+4
-0
lines changed

tests/fail/both_borrows/illegal_write1.rs

+2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,8 @@
11
//@revisions: stack tree
22
//@[tree]compile-flags: -Zmiri-tree-borrows
33

4+
#![allow(invalid_reference_casting)]
5+
46
fn main() {
57
let target = Box::new(42); // has an implicit raw
68
let xref = &*target;

tests/fail/stacked_borrows/illegal_write3.rs

+2
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
#![allow(invalid_reference_casting)]
2+
13
fn main() {
24
let target = 42;
35
// Make sure raw ptr with raw tag cannot mutate frozen location without breaking the shared ref.

0 commit comments

Comments
 (0)