Hi all, I've been testing isolated conformance inference in combination with other features, especially default main-actor isolation (which implies InferIsolatedConformances) , and I've found a few places where we probably want to tweak the inference rules. Conformance to Sendable-inheriting protocols If a protocol inherits Sendable, the conformance to it cannot have actor isolation because that would admit data races when it is used with generic code: protocol P: Sendable { } @MainActor cla...
