| // RUN: %target-typecheck-verify-swift -swift-version 5 |
| |
| class SomeClass {} |
| |
| protocol P { |
| // expected-error@+1 {{'weak' cannot be applied to a property declaration in a protocol}} |
| weak var foo: SomeClass? { get set } |
| // expected-error@+1 {{'unowned' cannot be applied to a property declaration in a protocol}} |
| unowned var foo2: SomeClass { get set } |
| // expected-error@+2 {{'weak' cannot be applied to a property declaration in a protocol}} |
| // expected-error@+1 {{'weak' may only be applied to class and class-bound protocol types, not 'Int'}} |
| weak var foo3: Int? { get set } |
| // expected-error@+2 {{'unowned' cannot be applied to a property declaration in a protocol}} |
| // expected-error@+1 {{'unowned' may only be applied to class and class-bound protocol types, not 'Int'}} |
| unowned var foo4: Int { get set } |
| var foo9: SomeClass? { get } |
| } |
| |
| extension P { |
| weak var foo5: SomeClass? // expected-error {{extensions must not contain stored properties}} |
| unowned var foo6: SomeClass // expected-error {{extensions must not contain stored properties}} |
| |
| weak var foo7: SomeClass? { // Okay |
| return SomeClass() |
| } |
| |
| unowned var foo8: SomeClass { // Okay |
| return SomeClass() |
| } |
| |
| weak var foo9: SomeClass? { // Okay |
| return nil |
| } |
| } |
| |
