src/test/ui/parser/not-a-pred.rs

   1 fn f(a: isize, b: isize) : lt(a, b) { }
   2 //~^ ERROR return types are denoted using `->`
   3 //~| ERROR expected type, found function `lt` [E0573]
   4 //~| ERROR expected type, found local variable `a` [E0573]
   5 //~| ERROR expected type, found local variable `b` [E0573]
   6
   7 fn lt(a: isize, b: isize) { }
   8
   9 fn main() {
  10     let a: isize = 10;
  11     let b: isize = 23;
  12     check (lt(a, b));
  13     //~^ ERROR cannot find function `check` in this scope [E0425]
  14     f(a, b);
  15 }