src/test/compile-fail/while-bypass.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

// error-pattern: precondition constraint

fn f() -> int {
  let int x;
  while(true) {
    x = 10;
  }
  ret x;
}

fn main() {
  f();
}