Skip to content

Commit 0917a07

Browse files
committed
suppress dangerous_implicit_autorefs in TB test
1 parent c2973c9 commit 0917a07

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/tools/miri/tests/pass/tree_borrows/interior_mutability.rs

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
//@revisions: default uniq
22
//@compile-flags: -Zmiri-tree-borrows
33
//@[uniq]compile-flags: -Zmiri-unique-is-unique
4+
#![allow(dangerous_implicit_autorefs)]
45
use std::cell::{Cell, Ref, RefCell, RefMut, UnsafeCell};
56
use std::mem::{self, MaybeUninit};
67

0 commit comments

Comments
 (0)