// xfail-stage0
// error-pattern:1 == 2

fn main() {
   check (1 == 2);
}