Skip to content

Commit 5d882cb

Browse files
committed
Allow dropping_copy_types lint in Miri tests
1 parent 981a39c commit 5d882cb

2 files changed

Lines changed: 4 additions & 0 deletions

File tree

src/tools/miri/tests/fail/stacked_borrows/drop_in_place_retag.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
44
//@error-in-other-file: /retag .* for Unique permission .* only grants SharedReadOnly permission/
55

6+
#![allow(dropping_copy_types)]
7+
68
fn main() {
79
unsafe {
810
let x = 0u8;

src/tools/miri/tests/pass/drop_in_place.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
// valid when dropped. This test confirms that behavior.
33
// This is not a stable guarantee!
44

5+
#![allow(dropping_copy_types)]
6+
57
use std::ptr;
68

79
fn main() {

0 commit comments

Comments
 (0)