src/tools/miri/tests/fail/intrinsics/assume.rs

   1 #![feature(core_intrinsics)]
   2
   3 fn main() {
   4     let x = 5;
   5     unsafe {
   6         std::intrinsics::assume(x < 10);
   7         std::intrinsics::assume(x > 1);
   8         std::intrinsics::assume(x > 42); //~ ERROR: `assume` called with `false`
   9     }
  10 }