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