It’s fully possible to have scoped areas of borrow checker influence, which could be introduced after the port.