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


1
2
3
4
5
6

// this checks that a pred with a non-bool return
// type is rejected, even if the pred is never used

pure fn bad(a: int) -> int { ret 37; } //~ ERROR Non-boolean return type

fn main() { }