src/test/run-pass/pred-not-bool.rs

   1 // FIXME should be in run-pass
   2
   3 // -*- rust -*-
   4
   5 // error-pattern: Non-boolean return type
   6
   7 // this checks that a pred with a non-bool return
   8 // type is rejected, even if the pred is never used
   9
  10 pure fn bad(a: int) -> int { ret 37; }
  11
  12 fn main() { }