请教一个 borrow as mutable more than once 的问题。

问题来自 rustlings ，有问题的代码如下：

fn main() {
    let mut x = 100;
    let y = &mut x;
    let z = &mut x;
    *y += 100;
    *z += 1000;
    assert_eq!(x, 1200);
}

这个可以理解，因为 y, z 同时借用了 x ，2 个可变借用可能导致数据冲突。

改成如下形式可通过编译：

fn main() {
    let mut x = 100;
    let y = &mut x;
    *y += 100;
    
    let z = &mut x;
    *z += 1000;
    assert_eq!(x, 1200);
}

不理解的地方是，y 和 z 都在同一个作用域，也就是 main 函数的作用域内仍然存在 2 个可变借用，那为什么修改后的代码却编译通过了呢？