Accepted RFC #32: Remove cross borrowing