Avatar
言ってることとしては、 Mutexは not Copyableで、 (暗黙に)Escapable で、unchecked な Sendableで、withLockがある ということですね
8:31 AM
withLockのwhereは、ResultからCopyableを外してるだけだから、実質Anyで制約無し
8:32 AM
Description From the Mutex proposal, following code is unsafe and it's correctly diagnosed: import Synchronization open class NonSendable {} final class Store: Sendable { private let lock = Mut...
8:32 AM
これが同じ内容のバグ報告かな〜
8:33 AM
@swift-6.2.3 @swift-6.1.3 @swift-6.0.3 -swift-version 6 import Synchronization class C { var x = 0 } final class D: Sendable { let _c: Mutex<C?> = Mutex(C()) func getC() -> C? { _c.withLock { $0 } } }