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