色々見ていく中でわからなくなったので教えていただきたいのですが... 下記のようなactorに分離されたsubscriptからsendingが付いたnon Sendableな値を返すことはできない(エラーになる)が期待される挙動でしょうか？

class NonSendable{} protocol P2 { subscript(_: sending NonSendable) -> sending NonSendable { get async } } @MainActor struct S: P2 { subscript(_: sending NonSendable) -> sending NonSendable { // ↓↓↓↓↓↓↓コレ get async { NonSendable() } } }

プロポーザルにはfunctionの話しか出てこず https://github.com/swiftlang/swift-evolution/blob/main/proposals/0430-transferring-parameters-and-results.md#protocol-conformances (edited)