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