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