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


1
2
3
4
5
6
7
8
9
10
11

// -*- rust -*-

// error-pattern: Constraint args must be

pure fn 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));
}