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


1
2
3
4
5
6
7
8
9
10
11

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

// error-pattern: Constraint args must be

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

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