]>
Commit | Line | Data |
---|---|---|
f035d41b XL |
1 | // compile-flags: -Zunleash-the-miri-inside-of-you |
2 | // run-pass | |
3 | ||
4 | #![feature(const_raw_ptr_comparison)] | |
5 | ||
6 | const EMPTY_SLICE: &[i32] = &[]; | |
f2b60f7d FG |
7 | const EMPTY_EQ: Option<bool> = EMPTY_SLICE.as_ptr().guaranteed_eq(&[] as *const _); |
8 | const EMPTY_EQ2: Option<bool> = EMPTY_SLICE.as_ptr().guaranteed_eq(&[1] as *const _); | |
f035d41b XL |
9 | |
10 | fn main() { | |
f2b60f7d FG |
11 | assert!(EMPTY_EQ.is_none()); |
12 | assert!(EMPTY_EQ2.is_none()); | |
f035d41b | 13 | } |