7 lines
211 B
Rust
7 lines
211 B
Rust
// -*- rust -*-
|
|
// error-pattern:Predicate lt(b, a) failed
|
|
fn f(a: int, b: int) { }
|
|
|
|
pure fn lt(a: int, b: int) -> bool { ret a < b; }
|
|
|
|
fn main() { let a: int = 10; let b: int = 23; check (lt(b, a)); f(b, a); }
|