RFC: Single-entry / multiple-exit regions for borrows