We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4c55c54 commit 2fde4efCopy full SHA for 2fde4ef
tests/pass/tree_borrows/interior_mutability.rs
@@ -1,6 +1,7 @@
1
//@revisions: default uniq
2
//@compile-flags: -Zmiri-tree-borrows
3
//@[uniq]compile-flags: -Zmiri-unique-is-unique
4
+#![allow(dangerous_implicit_autorefs)]
5
use std::cell::{Cell, Ref, RefCell, RefMut, UnsafeCell};
6
use std::mem::{self, MaybeUninit};
7
0 commit comments