11 lines
239 B
Rust
11 lines
239 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` argument was false
|
||
|
|
}
|
||
|
|
}
|