This is perfectly safe behavior, would you prefer it slightly corrupting the destination address when transferring money through online banking?

Yes it's safe but undesirable, like Java's NullPointerException.

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.

I think they're just asking for it not to crash.