src/test/compile-fail/and-init.rs


1
2
3
4
5
6
7
8

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

fn main() {
    let i: int;

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