| // compile-flags: -Zunleash-the-miri-inside-of-you |
| // run-pass |
| |
| #![feature(const_raw_ptr_comparison)] |
| |
| const EMPTY_SLICE: &[i32] = &[]; |
| const EMPTY_EQ: bool = EMPTY_SLICE.as_ptr().guaranteed_eq(&[] as *const _); |
| const EMPTY_EQ2: bool = EMPTY_SLICE.as_ptr().guaranteed_ne(&[] as *const _); |
| const EMPTY_NE: bool = EMPTY_SLICE.as_ptr().guaranteed_ne(&[1] as *const _); |
| const EMPTY_NE2: bool = EMPTY_SLICE.as_ptr().guaranteed_eq(&[1] as *const _); |
| |
| fn main() { |
| assert!(!EMPTY_EQ); |
| assert!(!EMPTY_EQ2); |
| assert!(!EMPTY_NE); |
| assert!(!EMPTY_NE2); |
| } |