blob: 294b51337252f12b62ec727922bee7fbda47becb (
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 x != 0
log(debug, x);
ret 17;
}
fn main() { log(debug, foo()); }
|