rust/src/test/run-pass/if-check-precond.rs

// xfail-stage0
pred even(uint x) -> bool {
  if (x < 2u) {
    ret false;
  }
  else if (x == 2u) {
    ret true;
  }
  else {
    ret even(x - 2u);
  }
}

fn print_even(uint x) : even(x) {
  log x;
}

fn foo(uint x) -> () {
  if check(even(x)) {
      print_even(x);
    }
  else {
    fail;
  }
}

fn main() {
  foo(2u);
}