src/test/compile-fail/pred-on-wrong-slots.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

// xfail-stage0
// xfail-stage1
// xfail-stage2
// -*- rust -*-

// error-pattern: Unsatisfied .* lt(a, c)

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;
  let int c = 77;
  check lt(a,b);
  check lt(b,c);
  f(a,b);
  f(a,c);
}