1 2 3 4 5 6 7 8 9 10 11 12
// -*- rust -*- // xfail-boot // xfail-stage0 // error-pattern: non-predicate fn f(int q) -> bool { ret true; } fn main() { auto x = 0; check f(x); }