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
|
// RUN: %empty-directory(%t)
// RUN: %target-build-swift -target %target-swift-5.1-abi-triple -O %s -o %t/main
// RUN: %target-codesign %t/main
// RUN: %target-run %t/main | %FileCheck %s
// REQUIRES: executable_test
// REQUIRES: concurrency
// rdar://124277662
// XFAIL: freestanding
// CHECK: Setting field Field(rawValue: "fxxxxxxx/0")
// CHECK: Setting field Field(rawValue: "fxxxxxxx/1")
// CHECK: Setting field Field(rawValue: "fxxxxxxx/2")
// CHECK: Setting field Field(rawValue: "fxxxxxxx/3")
internal struct Field: Equatable, Hashable, Sendable {
internal var rawValue: String
internal static var c0: Field { Field(rawValue: "fxxxxxxx/0") }
internal static var c1: Field { Field(rawValue: "fxxxxxxx/1") }
internal static var c2: Field { Field(rawValue: "fxxxxxxx/2") }
internal static var c3: Field { Field(rawValue: "fxxxxxxx/3") }
internal static func c(_ c: Int) -> Field {
switch c {
case 0: return self.c0
case 1: return self.c1
case 2: return self.c2
case 3: return self.c3
default:
preconditionFailure("Only 0..<4 are valid")
}
}
}
internal actor A {
@inline(never)
internal func set(_ field: Field) async throws {
print("Setting field \(field)")
}
}
func doit() async throws {
let a = A()
for c in 0..<Int(4) {
try await Task.sleep(nanoseconds: 50_000_000)
try await a.set(.c(c))
}
}
try await doit()
|
