1 // run-pass
2 #![allow(dead_code)]
3 // A quick test of 'unsafe const fn' functionality
4 
dummy(v: u32) -> u325 const unsafe fn dummy(v: u32) -> u32 {
6     !v
7 }
8 
9 struct Type;
10 impl Type {
new() -> Type11     const unsafe fn new() -> Type {
12         Type
13     }
14 }
15 
16 const VAL: u32 = unsafe { dummy(0xFFFF) };
17 const TYPE_INST: Type = unsafe { Type::new() };
18 
main()19 fn main() {
20     assert_eq!(VAL, 0xFFFF0000);
21 }
22