implement valtrees as the type-system representation for constant values

[rust.git] / src / test / ui / borrowck / borrowck-and-init.rs

fn main() {
    let i: isize;

    println!("{}", false && { i = 5; true });
    println!("{}", i); //~ ERROR borrow of possibly-uninitialized variable: `i`
}