| // RUN: %clang_cc1 -fsyntax-only -fobjc-arc -fobjc-runtime-has-weak -Wsuper-class-method-mismatch -verify %s | |
| // expected-no-diagnostics | |
| @class NSString; | |
| @interface Super | |
| @property (nonatomic) NSString *thingy; | |
| @property () __weak id PROP; | |
| @end | |
| @interface Sub : Super | |
| @end | |
| @implementation Sub | |
| - (void)setThingy:(NSString *)val | |
| { | |
| [super setThingy:val]; | |
| } | |
| @synthesize PROP; | |
| @end |