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
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend -enable-experimental-feature StructLetDestructuring -typecheck -emit-module-interface-path %t.swiftinterface -module-name StoredProperties %s
// RUN: %target-swift-typecheck-module-from-interface(%t.swiftinterface) -module-name StoredProperties
// RUN: %FileCheck %s < %t.swiftinterface --check-prefix CHECK --check-prefix COMMON
// RUN: %target-swift-frontend -enable-experimental-feature StructLetDestructuring -typecheck -emit-module-interface-path %t-resilient.swiftinterface -module-name StoredProperties -enable-library-evolution %s
// RUN: %target-swift-typecheck-module-from-interface(%t-resilient.swiftinterface) -module-name StoredProperties
// RUN: %FileCheck %s < %t-resilient.swiftinterface --check-prefix RESILIENT --check-prefix COMMON
// RUN: %target-swift-frontend -enable-experimental-feature StructLetDestructuring -emit-module -o %t/Test.swiftmodule -module-name StoredProperties %t.swiftinterface -disable-objc-attr-requires-foundation-module
// RUN: %target-swift-frontend -enable-experimental-feature StructLetDestructuring -emit-module -o /dev/null -merge-modules %t/Test.swiftmodule -module-name StoredProperties -emit-module-interface-path - | %FileCheck %s --check-prefix CHECK --check-prefix COMMON
// RUN: %target-swift-frontend -enable-experimental-feature StructLetDestructuring -emit-module -o %t/TestResilient.swiftmodule -module-name StoredProperties -enable-library-evolution %t-resilient.swiftinterface -disable-objc-attr-requires-foundation-module
// RUN: %target-swift-frontend -enable-experimental-feature StructLetDestructuring -emit-module -o /dev/null -merge-modules %t/TestResilient.swiftmodule -module-name StoredProperties -enable-library-evolution -emit-module-interface-path - | %FileCheck %s --check-prefix RESILIENT --check-prefix COMMON
// COMMON: public struct HasStoredProperties {
public struct HasStoredProperties {
// COMMON: public var computedGetter: Swift.Int {
// COMMON-NEXT: get
// COMMON-NEXT: }
public var computedGetter: Int { return 3 }
// COMMON: public var computedGetSet: Swift.Int {
// COMMON-NEXT: get
// COMMON-NEXT: set
// COMMON-NEXT: }
public var computedGetSet: Int {
get { return 3 }
set {}
}
// COMMON: public let simpleStoredImmutable: Swift.Int{{$}}
public let simpleStoredImmutable: Int
// COMMON: public var simpleStoredMutable: Swift.Int{{$}}
public var simpleStoredMutable: Int
// CHECK: @_hasStorage public var storedWithObservers: Swift.Bool {
// RESILIENT: {{^}} public var storedWithObservers: Swift.Bool {
// CHECK-NEXT: {{^}} @_transparent get
// RESILIENT-NEXT: {{^}} get
// COMMON-NEXT: {{^}} set
// COMMON-NEXT: {{^}} }
public var storedWithObservers: Bool {
willSet {}
}
// CHECK: @_hasStorage public var storedPrivateSet: Swift.Int {
// RESILIENT: {{^}} public var storedPrivateSet: Swift.Int {
// COMMON-NEXT: {{^}} get
// COMMON-NEXT: {{^}} }
public private(set) var storedPrivateSet: Int
// CHECK: private var privateVar: Swift.Bool
// RESILIENT-NOT: private var privateVar: Swift.Bool
private var privateVar: Bool
// CHECK: @_hasStorage @_hasInitialValue public var storedWithObserversInitialValue: Swift.Int {
// RESILIENT: {{^}} public var storedWithObserversInitialValue: Swift.Int {
// COMMON-NEXT: {{^}} get
// COMMON-NEXT: {{^}} set
// COMMON-NEXT: {{^}} }
public var storedWithObserversInitialValue: Int = 0 {
didSet {}
}
// COMMON: public init(){{$}}
public init() {
self.simpleStoredImmutable = 0
self.simpleStoredMutable = 0
self.storedPrivateSet = 0
self.storedWithObservers = false
self.privateVar = false
}
// COMMON: }
}
// COMMON: @frozen public struct BagOfVariables {
@frozen
public struct BagOfVariables {
// COMMON: private let hidden: Swift.Int = 0
private let hidden: Int = 0
// COMMON: public let a: Swift.Int = 0
public let a: Int = 0
// COMMON: public let (x, y): (Swift.Int, Swift.Int) = (0, 0)
public let (x, y) = (0, 0)
// COMMON: public var b: Swift.Bool = false
public var b: Bool = false
// COMMON: public var c: Swift.Int = 0
public var c: Int = 0
// COMMON: public init()
public init() {}
// COMMON: }
}
// COMMON: @frozen public struct HasStoredPropertiesFixedLayout {
@frozen
public struct HasStoredPropertiesFixedLayout {
// COMMON: public var simpleStoredMutable: StoredProperties.BagOfVariables
public var simpleStoredMutable: BagOfVariables
// COMMON: {{^}} @_hasStorage public var storedWithObservers: StoredProperties.BagOfVariables {
// COMMON-NEXT: {{^}} get
// COMMON-NEXT: {{^}} set
// COMMON-NEXT: {{^}} }
public var storedWithObservers: BagOfVariables {
didSet {}
}
// COMMON: public init(){{$}}
public init() {
self.simpleStoredMutable = BagOfVariables()
self.storedWithObservers = BagOfVariables()
}
}
|
