> If your code doesn’t compile due to the rigidness of the borrow checker, it’s incorrect I’m sorry to say.

There're plenty of bug-free code which the borrow checker doesn't permit. A very common example is nested calls with a &mut receiver: https://internals.rust-lang.org/t/accepting-nested-method-ca...