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

   1 fn f(a: isize, b: isize) : lt(a, b) { }
   2 //~^ ERROR expected one of `->`, `;`, `where`, or `{`, found `:`
   3
   4 fn lt(a: isize, b: isize) { }
   5
   6 fn main() { let a: isize = 10; let b: isize = 23; check (lt(a, b)); f(a, b); }