[Pitch] Unsafe Assume on MainActor

A follow up on these APIs is now part of the custom executors pitch, and under review here: SE-0392: Custom Actor Executors


If we want this proposal to be compatible with SE-0414, we'd need to restrict the closure parameter to only allow the transfer of Sendable values, in order to prevent a hole in region-based isolation. Granted, this function would have unsafe in the name, which could make the hole less of an issue.

1 Like