在this Rust book中：

fn main() {
    let mut x = 5;
    let y = &mut x;

    *y += 1;

    println!("{}", x);
}

在这种情况下，编译器可以很容易地知道y已经完成了它的工作，因为在println之后没有更多的代码，所以print x是安全的，为什么它还抱怨呢？
在以下代码片段中：

let y: &i32;
let x = 5;
y = &x;

println!("{}", y);

编译器应该知道结果println是安全的并允许它;所以在这行代码之后，我可以重用y来执行y = &z;。