Hello, Swift evolution! I wrote up a pitch for extending region isolation to enable explicit transferring annotations on parameter and result types to indicate that argument and result values must be in a disconnected region at the function boundary. This enables controlling which parameter and result values are in a disconnected isolation regi...