The borrow checker within