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

13 lines
249 B
Rust

// FIXME should be in run-pass
// -*- rust -*-
// error-pattern: Non-boolean return type
// 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; }
fn main() { }