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


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

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

    let y: int = 42;
    let x: int;
    loop {
        log(debug, y);
        loop {
            loop {
                loop { x <- y; }
            }
        }
    }
}