My guess is that if a mutable reference dominates the lifetimes of all its borrows, then an exception to the rule can be made.