blob: e5456a5eebd6637f9a921f46062beeb301d81402 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// -*- rust -*-
// error-pattern:predicate check
fn f(int a, int b) : lt(a,b) {
}
fn lt(int a, int b) -> bool {
ret a < b;
}
fn main() {
let int a = 10;
let int b = 23;
check lt(b,a);
f(b,a);
}
|