blob: c26ef164ebab9293555f62aa525501beb4360972 [file] [log] [blame] [edit]
//@revisions: stable gated
#![cfg_attr(gated, feature(const_trait_impl))]
fn main() {}
// unconst and bad, will thus error in miri
const X: bool = unsafe { &1 as *const i32 == &2 as *const i32 }; //~ ERROR pointers cannot
// unconst and bad, will thus error in miri
const X2: bool = unsafe { 42 as *const i32 == 43 as *const i32 }; //~ ERROR pointers cannot