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


1
2
3
4
5
6
7
8
9
10

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

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