https://github.com/apple/swift-evolution/blob/main/proposals/0414-region-based-isolation.md