src/test/ui/consts/const_unsafe_unreachable_ub.rs

   1 // build-fail
   2
   3 #![feature(const_fn)]
   4 #![feature(const_unreachable_unchecked)]
   5
   6 const unsafe fn foo(x: bool) -> bool {
   7     match x {
   8         true => true,
   9         false => std::hint::unreachable_unchecked(),
  10     }
  11 }
  12
  13 #[warn(const_err)]
  14 const BAR: bool = unsafe { foo(false) };
  15
  16 fn main() {
  17   assert_eq!(BAR, true);
  18   //~^ ERROR E0080
  19   //~| ERROR erroneous constant
  20 }