src/test/ui/consts/const_unsafe_unreachable.rs

   1 // run-pass
   2
   3 #![feature(const_unreachable_unchecked)]
   4
   5 const unsafe fn foo(x: bool) -> bool {
   6     match x {
   7         true => true,
   8         false => std::hint::unreachable_unchecked(),
   9     }
  10 }
  11
  12 const BAR: bool = unsafe { foo(true) };
  13
  14 fn main() {
  15   assert_eq!(BAR, true);
  16 }