src/test/ui/intrinsics/intrinsic-assume.rs

   1 // run-pass
   2 #![feature(core_intrinsics)]
   3
   4 use std::intrinsics::assume;
   5
   6 unsafe fn f(x: i32) -> i32 {
   7     assume(x == 34);
   8     match x {
   9         34 => 42,
  10         _  => 30
  11     }
  12 }
  13
  14 fn main() {
  15     let x = unsafe { f(34) };
  16     assert_eq!(x, 42);
  17 }