Isolation Assumptions

I think this is a fascinating direction to pursue! I think anything that offers greater flexibility around isolating non-Sendable types is worth exploring.

I do think a different discussion thread is warranted though, especially this one has now already been retired in favor of a much better-designed proposal.