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