FWIW I agree that the language should provide other options here. There are a few future directions in this area that we're exploring to allow you to conform actor-isolated types to nonisolated protocols without deferring actor isolation checking to runtime with @preconcurrency conformances, and instead restricting uses of the conformance to the isolation domain of the conforming type at compile-time.
15 Likes