Skip to content

Commit 157fe71

Browse files
committed
Adjust tests for newly added ambiguous_wide_pointer_comparisons lint
1 parent bdcb9da commit 157fe71

File tree

2 files changed

+2
-0
lines changed

2 files changed

+2
-0
lines changed

tests/pass/pointers.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
//@[tree]compile-flags: -Zmiri-tree-borrows
33
//@compile-flags: -Zmiri-permissive-provenance
44
#![feature(ptr_metadata, const_raw_ptr_comparison)]
5+
#![allow(ambiguous_wide_pointer_comparisons)]
56

67
use std::mem::{self, transmute};
78
use std::ptr;

tests/pass/rc.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
//@compile-flags: -Zmiri-strict-provenance
44
#![feature(new_uninit)]
55
#![feature(get_mut_unchecked)]
6+
#![allow(ambiguous_wide_pointer_comparisons)]
67

78
use std::cell::{Cell, RefCell};
89
use std::fmt::Debug;

0 commit comments

Comments
 (0)