@swift-main @swift-6.1-dev

class NonSendable{} protocol P { subscript(_: sending NonSendable) -> Bool { get } } @MainActor struct S: P { subscript(_: sending NonSendable) -> Bool { true } }

(edited)