swift/test/ModuleInterface/effectful_properties.swift at swift-5.10.1-RELEASE · swiftlang/swift · GitHub

Name: swift/test/ModuleInterface/effectful_properties.swift at swift-5.10.1-RELEASE · swiftlang/swift · GitHub
Rating: 4.9 (2824 reviews)
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
// RUN: %target-swift-emit-module-interface(%t.swiftinterface) %s -module-name EffProps -disable-availability-checking
// RUN: %target-swift-typecheck-module-from-interface(%t.swiftinterface) -module-name EffProps -disable-availability-checking
// RUN: %FileCheck %s < %t.swiftinterface

publicstructMyStruct{}

// CHECK-LABEL: #if compiler(>=5.3) && $EffectfulProp
// CHECK: public var status: Swift.Bool {
// CHECK: get async throws
// CHECK: }
// CHECK: #endif

publicextensionMyStruct{
structInnerStruct{
publicvarstatus:Bool{get asyncthrows{false}}
}
}

// CHECK-LABEL: #if compiler(>=5.3) && $EffectfulProp
// CHECK: public var hello: Swift.Int {
// CHECK: get async
// CHECK: }
// CHECK: #endif


// CHECK-LABEL: #if compiler(>=5.3) && $EffectfulProp
// CHECK: public subscript(x: Swift.Int) -> Swift.Void {
// CHECK: get async throws
// CHECK: }
// CHECK: #endif

publicclassC{
publicvarhello:Int{get async{0}}

public subscript(_ x:Int)->Void{
get asyncthrows{}
}
}

// CHECK-LABEL: #if compiler(>=5.3) && $EffectfulProp
// CHECK: public var world: Swift.Int {
// CHECK: get throws
// CHECK: }
// CHECK: #endif

publicenumE{
publicvarworld:Int{get throws{0}}
}

// CHECK-LABEL: #if compiler(>=5.3) && $EffectfulProp
// CHECK: var books: Swift.Int { get async }
// CHECK: #endif


// CHECK-LABEL: #if compiler(>=5.3) && $EffectfulProp
// CHECK: subscript(x: Swift.Int) -> Swift.Int { get throws }
// CHECK: #endif

publicprotocolP{
varbooks:Int{get async}
 subscript(_ x:Int)->Int{get throws}
}