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

   1 // run-pass
   2 #![feature(core_intrinsics)]
   3
   4 use std::intrinsics;
   5
   6 // See also src/test/run-make/intrinsic-unreachable.
   7
   8 unsafe fn f(x: usize) -> usize {
   9     match x {
  10         17 => 23,
  11         _ => intrinsics::unreachable(),
  12     }
  13 }
  14
  15 fn main() {
  16     assert_eq!(unsafe { f(17) }, 23);
  17 }