blob: 8babc95f0dcc4d1360fda44d9e97638afae1e389 (
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;
loop { i = 0; break; x = 0; }
log(debug, x);
ret 17;
}
fn main() { log(debug, foo()); }
|