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


1
2
3
4
5
6
7

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

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