src/test/compile-fail/impure-pred.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// -*- rust -*-
// xfail-boot
// xfail-stage0
// error-pattern: impure function

fn g() -> () {}

pred f(int q) -> bool { 
  g();
  ret true;
}

fn main() {
  auto x = 0;

  check f(x); 
}