mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
13cbe0dd15
This attribute is designed for let-bound variables whose initializing assignment is synthesized by the compiler. This assignment is expected to happen at some point before DefiniteInitialization has run, which is the pass that verifies whether the compiler truly initialized the variable. I generally expect that this will never be a user-facing feature, and that the synthesized assignment happens in SILGen.
57 lines
2.1 KiB
Swift
57 lines
2.1 KiB
Swift
// 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
|
|
|
|
|