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
|
// RUN: %target-swift-frontend -emit-sil -verify %s
@propertyWrapper
final class ClassWrapper<T> {
var wrappedValue: T {
didSet {
print(" .. set \(wrappedValue)")
}
}
init(wrappedValue initialValue: T) {
print(" .. init \(initialValue)")
self.wrappedValue = initialValue
}
deinit {
print(" .. deinit \(wrappedValue)")
}
}
struct IntStructWithClassWrapper {
@ClassWrapper var wrapped: Int
init() {
wrapped = 42
}
init(conditional b: Bool) {
if b {
self._wrapped = ClassWrapper(wrappedValue: 32)
} else {
wrapped = 42
}
}
init(dynamic b: Bool) {
if b {
wrapped = 42
}
wrapped = 27
}
}
// https://github.com/apple/swift/issues/53877
@propertyWrapper
struct W_53877 {
let name: String
init<T: ExpressibleByIntegerLiteral>(_ value: T = 0) {
self.name = "Init"
}
var wrappedValue: Int {
get { return 0 }
}
}
struct S_53877 {
@W_53877 var foo: Int
init() {} // expected-error {{return from initializer without initializing all stored properties}} expected-note {{'self.foo' not initialized}}
}
@propertyWrapper
struct WrapperWithAutoclosure<V> {
var wrappedValue: V
init(wrappedValue: @autoclosure @escaping () -> V) {
self.wrappedValue = wrappedValue()
}
}
struct UseWrapperWithAutoclosure {
@WrapperWithAutoclosure var wrapped: Int
init() {
wrapped = 42 // expected-error{{'self' used before all stored properties are initialized}}
// expected-note@-1{{'self.wrapped' not initialized}}
} // expected-error{{return from initializer without initializing all stored properties}}
// expected-note@-1{{'self.wrapped' not initialized}}
init(conditional b: Bool) {
if b {
self._wrapped = WrapperWithAutoclosure(wrappedValue: 32)
} else {
wrapped = 42 // expected-error{{'self' used before all stored properties are initialized}}
// expected-note@-1{{'self.wrapped' not initialized}}
}
} // expected-error{{return from initializer without initializing all stored properties}}
// expected-note@-1{{'self.wrapped' not initialized}}
init(dynamic b: Bool) {
if b {
wrapped = 42 // expected-error{{'self' used before all stored properties are initialized}}
// expected-note@-1{{'self.wrapped' not initialized}}
}
wrapped = 27 // expected-error{{'self' used before all stored properties are initialized}}
// expected-note@-1{{'self.wrapped' not initialized}}
} // expected-error{{return from initializer without initializing all stored properties}}
// expected-note@-1{{'self.wrapped' not initialized}}
}
@propertyWrapper
struct Wrapper<T> {
var wrappedValue: T
}
func local() {
var anotherVar: String // expected-note {{variable defined here}}
@Wrapper var value = 10 {
didSet {
anotherVar = "hello!"
}
}
value = 15 // expected-error {{variable 'anotherVar' used by function definition before being initialized}}
anotherVar = "hello!"
_ = anotherVar
}
|
