2011-05-04 11:32:06 -07:00
|
|
|
// this checks that a pred with a non-bool return
|
|
|
|
// type is rejected, even if the pred is never used
|
|
|
|
|
2012-06-30 12:23:59 +01:00
|
|
|
pure fn bad(a: int) -> int { ret 37; } //~ ERROR Non-boolean return type
|
2011-05-04 11:32:06 -07:00
|
|
|
|
2011-08-19 15:16:48 -07:00
|
|
|
fn main() { }
|