fn id<T>(x: T) -> T { x }

fn foo(cond: bool) {
    // Here we will infer a type that uses the
    // region of the if stmt then block:
    let mut x;

    if cond {
        x = &id(3); //~ ERROR temporary value dropped while borrowed
        assert_eq!(*x, 3);
    }
}

fn main() {}