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