Fix all violations in the Rust source tree of the stronger guarantee of a unique access path for mutable borrows as described in #12624.