12 lines
286 B
Rust
12 lines
286 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 constant evaluation error [E0080]
|
|
//~^ NOTE `assume` argument was false
|
|
}
|
|
}
|