1// RUN: %clang_cc1  -fsyntax-only -fobjc-arc -fobjc-runtime-has-weak -Wsuper-class-method-mismatch -verify %s
2// expected-no-diagnostics
3// rdar://11793793
4
5@class NSString;
6
7@interface Super
8@property (nonatomic) NSString *thingy;
9@property () __weak id PROP;
10@end
11
12@interface Sub : Super
13@end
14
15@implementation Sub
16- (void)setThingy:(NSString *)val
17{
18  [super setThingy:val];
19}
20@synthesize PROP;
21@end
22