The Inevitability of the Borrow Checker