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