Привет. Можете объяснить, пожалуйста, почему первый пример собирается, а второй

нет?
На мой взгляд, y и z это две мутабельные ссылки на x, которые существуют в одном скоупе, т.е в один и тот же момент времени.

//1
fn main() {
let mut x = 100;

let y = &mut x;
let z = &mut *y;

*y += 100;
*z += 1000;
assert_eq!(x, 1200);
}

//2
fn main() {
let mut x = 100;

let y = &mut x;
let z = &mut *y;

*y += 100;
*z += 1000;
assert_eq!(x, 1200);
}

Мб это я слепой, но примеры одинаковые?..

первый не собирается, а второй собирается как раз