From e8a6c175c51fbc347ea0b4479cc1b2de0932ddab Mon Sep 17 00:00:00 2001 From: Urgau Date: Sat, 30 Mar 2024 16:40:24 +0100 Subject: Allow `dangerous_implicit_autorefs` lint in some tests --- src/tools/miri/tests/pass/dst-raw.rs | 2 ++ src/tools/miri/tests/pass/stacked-borrows/interior_mutability.rs | 2 ++ 2 files changed, 4 insertions(+) (limited to 'src') diff --git a/src/tools/miri/tests/pass/dst-raw.rs b/src/tools/miri/tests/pass/dst-raw.rs index f26191a1d59..3d0b843b3da 100644 --- a/src/tools/miri/tests/pass/dst-raw.rs +++ b/src/tools/miri/tests/pass/dst-raw.rs @@ -1,5 +1,7 @@ // Test DST raw pointers +#![allow(dangerous_implicit_autorefs)] + trait Trait { fn foo(&self) -> isize; } diff --git a/src/tools/miri/tests/pass/stacked-borrows/interior_mutability.rs b/src/tools/miri/tests/pass/stacked-borrows/interior_mutability.rs index 830e9c33847..e86cb3711ac 100644 --- a/src/tools/miri/tests/pass/stacked-borrows/interior_mutability.rs +++ b/src/tools/miri/tests/pass/stacked-borrows/interior_mutability.rs @@ -1,3 +1,5 @@ +#![allow(dangerous_implicit_autorefs)] + use std::cell::{Cell, Ref, RefCell, RefMut, UnsafeCell}; use std::mem::{self, MaybeUninit}; -- cgit 1.4.1-3-g733a5