| // RUN: %target-swift-frontend %s -typecheck -verify |
| |
| @propertyWrapper |
| struct Wrapper1 { |
| var wrappedValue: Int? |
| } |
| |
| class Test1 { |
| @Wrapper1 var user: Int |
| // expected-error@-1 {{property type 'Int' does not match 'wrappedValue' type 'Int?'}} |
| } |
| |
| @propertyWrapper |
| struct Wrapper2 { // expected-note {{property wrapper type 'Wrapper2' declared here}} |
| var wrappedValue: Int?? |
| } |
| |
| class Test2 { |
| @Wrapper2 var user: Int? |
| // expected-error@-1 {{property type 'Int?' does not match that of the 'wrappedValue' property of its wrapper type 'Wrapper2'}} |
| } |