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
|
// RUN: %target-typecheck-verify-swift
@propertyWrapper
struct Pushin {
var wrappedValue: String
init(_ thing: String) {
wrappedValue = thing
}
}
protocol P {
// expected-error@+1 {{'@_compilerInitialized' is not currently supported in protocols}}
@_compilerInitialized var bad_requirement: Int { get }
}
class Facts {
// expected-error@+1 {{'@_compilerInitialized' attribute only applies to let-bound stored properties without a default value}}
@_compilerInitialized var bad_mutable: Int
// expected-error@+1 {{'@_compilerInitialized' attribute only applies to let-bound stored properties without a default value}}
@_compilerInitialized var bad_hasObserver: Int {
didSet {}
}
// expected-error@+1 {{'@_compilerInitialized' attribute only applies to let-bound stored properties without a default value}}
@_compilerInitialized let bad_hasInitialValue = 0
// expected-error@+1 {{'@_compilerInitialized' attribute only applies to let-bound stored properties without a default value}}
@_compilerInitialized @Pushin("🅿️") var bad_hasWrapper
// expected-error@+1 {{'@_compilerInitialized' cannot be applied to an Optional let}}
@_compilerInitialized let bad_optional: Int?
// expected-error@+1 {{'@_compilerInitialized' attribute only applies to let-bound stored properties without a default value}}
@_compilerInitialized static let bad_static1: String = ""
// expected-note@+3 {{add an initializer to silence this error}}
// expected-error@+2 {{'static let' declaration requires an initializer expression or an explicitly stated getter}}
// expected-error@+1 {{'@_compilerInitialized' can only be applied to a non-static class or actor member}}
@_compilerInitialized static let bad_static2: String
@_compilerInitialized let id: Int
init(){}
}
struct Logic {
// expected-error@+1 {{'@_compilerInitialized' can only be applied to a non-static class or actor member}}
@_compilerInitialized let bad_structmember: String
}
// expected-error@+1 {{'@_compilerInitialized' can only be applied to a non-static class or actor member}}
@_compilerInitialized let bestID: String
|
