tests/ui/unsafe/unsafe-const-fn.rs

   1 // A quick test of 'unsafe const fn' functionality
   2
   3 // revisions: mir thir
   4 // [thir]compile-flags: -Z thir-unsafeck
   5
   6 const unsafe fn dummy(v: u32) -> u32 {
   7     !v
   8 }
   9
  10 const VAL: u32 = dummy(0xFFFF);
  11 //~^ ERROR E0133
  12
  13 fn main() {
  14     assert_eq!(VAL, 0xFFFF0000);
  15 }