src/test/compile-fail/not-a-pred-2.rs


1
2
3
4
5
6
7
8
9
10

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

// error-pattern: non-predicate

fn main() {
  check (1 == 2); // should fail to typecheck, as (a == b)
                  // is not a manifest call
}