1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
// RUN: %empty-directory(%t/src)
// RUN: %empty-directory(%t/sdk)
// RUN: split-file %s %t/src
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -typecheck %t/src/main.swift \
// RUN: -import-objc-header %t/src/Test.h \
// RUN: -strict-concurrency=complete \
// RUN: -module-name main -I %t -verify
// REQUIRES: objc_interop
// REQUIRES: concurrency
//--- Test.h
#define NS_SWIFT_SENDABLE __attribute__((__swift_attr__("@Sendable")))
#pragma clang assume_nonnull begin
@import Foundation;
NS_SWIFT_SENDABLE
@protocol MyObjCProtocol <NSObject>
@property (readonly, nonatomic) NSString *test;
@end
@protocol MyRefinedObjCProtocol <MyObjCProtocol>
@end
#pragma clang assume_nonnull end
//--- main.swift
struct MyStruct: Sendable {
let value: any MyObjCProtocol // Ok
}
func compute<T: Sendable>(_ t: T) {}
extension MyObjCProtocol {
func test() {
compute(self) // Ok
}
}
class K : NSObject, MyObjCProtocol {
// expected-warning@-1 {{non-final class 'K' cannot conform to 'Sendable'; use '@unchecked Sendable'}}
let test: String = "k"
}
class UncheckedK : NSObject, MyObjCProtocol, @unchecked Sendable { // ok
let test: String = "unchecked"
}
class KRefined : NSObject, MyRefinedObjCProtocol {
// expected-warning@-1 {{non-final class 'KRefined' cannot conform to 'Sendable'; use '@unchecked Sendable'}}
let test: String = "refined"
}
class KUncheckedRefined : NSObject, MyRefinedObjCProtocol, @unchecked Sendable { // Ok
let test: String = "refined unchecked"
}
@preconcurrency
protocol P : Sendable {
}
protocol Q : Sendable {
}
do {
class A : NSObject {}
final class B : A, P {
// expected-warning@-1 {{'Sendable' class 'B' cannot inherit from another class other than 'NSObject'}}
}
final class UncheckedB : A, P, @unchecked Sendable { // Ok
}
class C : A, MyObjCProtocol {
// expected-warning@-1 {{non-final class 'C' cannot conform to 'Sendable'; use '@unchecked Sendable'}}
// expected-warning@-2 {{'Sendable' class 'C' cannot inherit from another class other than 'NSObject'}}
let test: String = "c"
}
class UncheckedC : A, MyObjCProtocol, @unchecked Sendable { // Ok
let test: String = "c"
}
// A warning until `-swift-version 6`
final class D : A, Q {
// expected-warning@-1 {{'Sendable' class 'D' cannot inherit from another class other than 'NSObject'}}
}
final class UncheckedD : A, Q, @unchecked Sendable { // Ok
}
}
do {
func testSendable<T: Sendable>(_: T) {}
testSendable(K()) // Ok
testSendable(UncheckedK()) // Ok
testSendable(KRefined()) // Ok
testSendable(KUncheckedRefined()) // Ok
}
|
