src/test/run-pass/while-prelude-drop.rs


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


tag t { a; b(str); }

fn make(i: int) -> t {
    if i > 10 { ret a; }
    let s = "hello";
    // Ensure s is non-const.

    s += "there";
    ret b(s);
}

fn main() {
    let i = 0;


    // The auto slot for the result of make(i) should not leak.
    while make(i) != a { i += 1; }
}