mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
e326954bd0
By formalizing ReferenceOwnership as a diagnostic argument kind, we get less boilerplate, better type safety, better output consistency, and last but not least: future proofing.
15 lines
644 B
Swift
15 lines
644 B
Swift
// RUN: %target-typecheck-verify-swift -parse-as-library
|
|
|
|
class C {
|
|
init() {}
|
|
}
|
|
|
|
weak var globalC = C() // expected-warning {{instance will be immediately deallocated because variable 'globalC' is 'weak'}}
|
|
// expected-note@-1 {{a strong reference is required to prevent the instance from being deallocated}}
|
|
// expected-note@-2 {{'globalC' declared here}}
|
|
|
|
unowned var globalC1 = C() // expected-warning {{instance will be immediately deallocated because variable 'globalC1' is 'unowned'}}
|
|
// expected-note@-1 {{a strong reference is required to prevent the instance from being deallocated}}
|
|
// expected-note@-2 {{'globalC1' declared here}}
|
|
|