omochimetaru

@swift-5.10.1 @swift-6.0.3 @swift-main -strict-concurrency=complete

@propertyWrapper struct W<T> { var wrappedValue: T { fatalError() } } extension W: Sendable where T: Sendable {} struct K: Sendable { init() {} func hi() {} } // 間違った警告が出る func main1() async throws { @W var k: K Task { k.hi() } k.hi() } // 本質的に以下と等価なはず // これだと警告は出ない func main2() async throws { let k: W<K> = .init() Task { k.wrappedValue.hi() } k.wrappedValue.hi() }

(edited)

<stdin>:17:5: warning: sending value of non-Sendable type '() async -> ()' risks causing data races; this is an error in the Swift 6 language mode 15 | @W var k: K 16 | 17 | Task { | |- warning: sending value of non-Sendable type '() async -> ()' risks causing data races; this is an error in the Swift 6 language mode | `- note: Passing value of non-Sendable type '() async -> ()' as a 'sending' argument risks causing races in between local and caller code 18 | k.hi() 19 | } 20 | 21 | k.hi() | `- note: access can happen concurrently 22 | } 23 |