src/test/ui/consts/const-unsafe-fn.rs

   1 // run-pass
   2 #![allow(dead_code)]
   3 // A quick test of 'unsafe const fn' functionality
   4
   5 const unsafe fn dummy(v: u32) -> u32 {
   6     !v
   7 }
   8
   9 struct Type;
  10 impl Type {
  11     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
  19 fn main() {
  20     assert_eq!(VAL, 0xFFFF0000);
  21 }