1// RUN: %clang_cc1 -fsyntax-only -verify %s
2// rdar://12958878
3
4@interface NSObject @end
5
6@protocol DVTInvalidation
7- (void)invalidate;  // expected-note {{method 'invalidate' declared here}}
8@property int Prop; // expected-note {{property declared here}}
9@end
10
11
12
13@protocol DVTInvalidation;
14
15@interface IBImageCatalogDocument : NSObject <DVTInvalidation>
16@end
17
18@implementation IBImageCatalogDocument // expected-warning {{auto property synthesis will not synthesize property 'Prop' declared in protocol 'DVTInvalidation'}} \
19				       // expected-warning {{method 'invalidate' in protocol 'DVTInvalidation' not implemented}}
20@end // expected-note {{add a '@synthesize' directive}}
21