// error-pattern: Unsatisfied precondition constraint (for example, init(i

fn main() {
    let i: int;

    log false && { i = 5; true };
    log i;
}