src/test/ui/consts/const_unsafe_unreachable_ub.rs

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