请教一个 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 个可变借用，那为什么修改后的代码却编译通过了呢？