// A quick test of 'unsafe const fn' functionality

// revisions: mir thir
// [thir]compile-flags: -Z thir-unsafeck

const unsafe fn dummy(v: u32) -> u32 {
    !v
}

const VAL: u32 = dummy(0xFFFF);
//~^ ERROR E0133

fn main() {
    assert_eq!(VAL, 0xFFFF0000);
}