@swift-main -frontend -emit-sil -swift-version 6

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

(edited)