// 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() { }

// 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() { }

Remove an outdated FIXME, change to use the new //! ERROR syntax
Remove an outdated FIXME, change to use the new //! ERROR syntax
