]> git.lizzy.rs Git - rust.git/blob - src/test/run-pass/intrinsic-unreachable.rs
ea9648a3e699add96b257630345e9fd88bdf19a9
[rust.git] / src / test / run-pass / intrinsic-unreachable.rs
1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
4 //
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
10
11 #![feature(core)]
12
13 use std::intrinsics;
14
15 // See also src/test/run-make/intrinsic-unreachable.
16
17 unsafe fn f(x: uint) -> uint {
18     match x {
19         17 => 23,
20         _ => intrinsics::unreachable(),
21     }
22 }
23
24 fn main() {
25     assert_eq!(unsafe { f(17) }, 23);
26 }