src/test/compile-fail/while-loop-constraints.rs


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

// xfail-stage0
// error-pattern: Unsatisfied precondition constraint (for example, init(y
fn main() {

  let int y = 42;
  let int x;
  while (true) {
    log y;
    while (true) {
      while (true) {
    while (true) {
      x <- y;
    }
      }
    }
  }
}