c53402846e
While it is still technically possible to test stage 0, it is not part of any of the main testing rules and maintaining xfail-stage0 is a chore. Nobody should worry about how tests fare in stage0.
16 lines
303 B
Rust
16 lines
303 B
Rust
// -*- rust -*-
|
|
|
|
// error-pattern: Unsatisfied precondition constraint (for example, lt(a, b)
|
|
|
|
fn f(a: int, b: int) : lt(a,b) { }
|
|
|
|
pred lt(a: int, b: int) -> bool { ret a < b; }
|
|
|
|
fn main() {
|
|
let a: int = 10;
|
|
let b: int = 23;
|
|
let c: int = 77;
|
|
check (lt(a, b));
|
|
b <-> a;
|
|
f(a, b);
|
|
} |