rust/src/test/compile-fail/not-pred-args.rs

// -*- rust -*-

// error-pattern: Constraint args must be

pred f(q: int) -> bool { ret true; }

fn main() {
    // should fail to typecheck, as pred args must be slot variables or literals
    check (f(42 * 17));
}