src/test/run-pass/while-loop-constraints-2.rs


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

fn main() {

    let y: int = 42;
    let z: int = 42;
    let x: int;
    while z < 50 {
        z += 1;
        while false { x <- y; y = z; }
        log(debug, y);
    }
    assert (y == 42 && z == 50);
}