blob: 8c882fa0c847b35ea376c6c7d997f67d5cd9e826 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// error-pattern:unsatisfied precondition
fn foo() -> int {
let x: int;
let i: int;
do { i = 0; break; x = 0; } while 1 != 2
log(debug, x);
ret 17;
}
fn main() { log(debug, foo()); }
|