Почему компилятор Rust не учитывает ссылку на аргумент при проверке заимствований?

Мне интересно узнать об ошибках компилятора для следующей функции, которая является примером из книги Rust Brown Book (без редактирования).

fn remove_zeros(v: &mut Vec<i32>) {
    for (i, t) in v.iter().enumerate().rev() {
        if *t == 0 {
            v.remove(i);
            v.shrink_to_fit();
        }
    }
}

Сначала я думал, что аргумент v:&mut vec<i32> — это изменяемая ссылка, поэтому он не может сосуществовать с v.iter().enumerate().rev(). Но затем я обнаружил, что ошибка ничего не говорит о вводе аргумента, а вызывает ошибку только при первом реальном изменяемом использовании v.

error[E0502]: cannot borrow `*v` as mutable because it is also borrowed as immutable
 --> test.rs:5:13
  |
3 |     for (i, t) in v.iter().enumerate().rev() {
  |                   --------------------------
  |                   |
  |                   immutable borrow occurs here
  |                   immutable borrow later used here
4 |         if *t == 0 {
5 |             v.remove(i);
  |             ^^^^^^^^^^^ mutable borrow occurs here

Разве не было бы логичнее, если бы компилятор проверял совместимость типа аргумента с использованием внутри него?

Сначала меня это не особо волновало, а потом я обнаружил, что Книга коричневой ржавчины продолжает задавать вопросы о том, что такое ошибка «сначала недопустимое неизменяемое заимствование» ИЛИ «сначала недопустимое изменяемое заимствование».