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
|
// RUN: %target-swift-frontend -enable-experimental-feature StrictConcurrency -enable-experimental-feature RawLayout -typecheck -verify %s
// REQUIRES: swift_feature_RawLayout
// REQUIRES: swift_feature_StrictConcurrency
func checkSendable(_: @Sendable () -> ()) {}
@_rawLayout(size: 4, alignment: 4)
struct NotAutomaticallySendableAndNotUsedAsSendable: ~Copyable {}
@_rawLayout(size: 4, alignment: 4)
struct NotAutomaticallySendable: ~Copyable {} // expected-note{{}}
func testNotAutomaticallySendable() {
let s = NotAutomaticallySendable()
checkSendable { _ = s } // expected-warning{{capture of 's' with non-sendable type 'NotAutomaticallySendable'}}
}
@_rawLayout(size: 4, alignment: 4)
struct UnuncheckedSendable: ~Copyable, Sendable {} // expected-warning{{@_rawLayout does not conform to the 'Sendable' protocol}}
func testUnuncheckedSendable() {
let s = UnuncheckedSendable()
checkSendable { _ = s }
}
@_rawLayout(size: 4, alignment: 4)
struct UncheckedSendable: ~Copyable, @unchecked Sendable {}
func testUncheckedSendable() {
let s = UncheckedSendable()
checkSendable { _ = s }
}
|
