src/test/run-fail/pred.rs

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