11 lines
250 B
Rust
11 lines
250 B
Rust
#![feature(core_intrinsics)]
|
|
|
|
fn main() {
|
|
let x = 5;
|
|
unsafe {
|
|
std::intrinsics::assume(x < 10);
|
|
std::intrinsics::assume(x > 1);
|
|
std::intrinsics::assume(x > 42); //~ ERROR: `assume` intrinsic called with `false`
|
|
}
|
|
}
|