src/test/compile-fail/pred-not-bool.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// -*- rust -*-
// xfail-boot
// xfail-stage0

// 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

pred bad(int a) -> int {
  ret 37;
}

fn main() {
}