15 lines
190 B
Rust
15 lines
190 B
Rust
// -*- rust -*-
|
|
|
|
// error-pattern: non-predicate
|
|
|
|
fn main() {
|
|
check (1 ==
|
|
2); // should fail to typecheck, as (a == b)
|
|
// is not a manifest call
|
|
|
|
|
|
|
|
|
|
|
|
}
|