A more interesting question is why it was not possible to use compile time borrow checking in this particular case. It shows how valuable the borrow checker is when you can use it.