diff options
| author | Ralf Jung <post@ralfj.de> | 2025-04-29 08:53:22 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-04-29 08:53:22 +0200 |
| commit | 0917a072641fb50866fed781af4745321d9e0373 (patch) | |
| tree | 9889b042b45c5a367ccf3928d8b053b7707251e1 | |
| parent | c2973c949d52b6a577721b4626e3e005e2dbaabf (diff) | |
| download | rust-0917a072641fb50866fed781af4745321d9e0373.tar.gz rust-0917a072641fb50866fed781af4745321d9e0373.zip | |
suppress dangerous_implicit_autorefs in TB test
| -rw-r--r-- | src/tools/miri/tests/pass/tree_borrows/interior_mutability.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/miri/tests/pass/tree_borrows/interior_mutability.rs b/src/tools/miri/tests/pass/tree_borrows/interior_mutability.rs index 752ae4b20c5..6dde593d2cf 100644 --- a/src/tools/miri/tests/pass/tree_borrows/interior_mutability.rs +++ b/src/tools/miri/tests/pass/tree_borrows/interior_mutability.rs @@ -1,6 +1,7 @@ //@revisions: default uniq //@compile-flags: -Zmiri-tree-borrows //@[uniq]compile-flags: -Zmiri-unique-is-unique +#![allow(dangerous_implicit_autorefs)] use std::cell::{Cell, Ref, RefCell, RefMut, UnsafeCell}; use std::mem::{self, MaybeUninit}; |