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