[Pitch] Control default actor isolation inference

Spitballing here, but we could define this in the standard library:

public typealias DefaultActionIsolationType = Never

(It's Never isolated by default; i.e., nonisolated.)

And then individual modules could replace it with their own typealias, or they could still write Never in their own code if they wanted to be explicit about the default.

5 Likes