blob: 72ce73f745f4ed1c0a3433c5a3afc1855be1f874 [file] [log] [blame]
// run-pass
#![allow(dead_code)]
// A quick test of 'unsafe const fn' functionality
const unsafe fn dummy(v: u32) -> u32 {
!v
}
struct Type;
impl Type {
const unsafe fn new() -> Type {
Type
}
}
const VAL: u32 = unsafe { dummy(0xFFFF) };
const TYPE_INST: Type = unsafe { Type::new() };
fn main() {
assert_eq!(VAL, 0xFFFF0000);
}