12 lines
227 B
Rust
12 lines
227 B
Rust
// -*- 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));
|
|
}
|