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

   1 error: expected `;` or `{`, found `:`
   2   --> $DIR/not-a-pred.rs:3:26
   3    |
   4 LL | fn f(a: isize, b: isize) : lt(a, b) { }
   5    |                          ^ expected `;` or `{`
   6
   7 error: aborting due to previous error
   8