src/test/compile-fail/not-a-pred.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// -*- rust -*-

// error-pattern: mismatched types

fn f(int a, int b) : lt(a,b) {
}

obj lt(int a, int b) {
}

fn main() {
  let int a = 10;
  let int b = 23;
  check lt(a,b);
  f(a,b);
}