blob: 262e536b44542cbc69f74f15335691234bbc1c8f (
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()); }
|