error: expected `;` or `{`, found `:`
  --> $DIR/not-a-pred.rs:3:26
   |
LL | fn f(a: isize, b: isize) : lt(a, b) { }
   |                          ^ expected `;` or `{`

error: aborting due to previous error