26 lines · plain
1// RUN: %clang_cc1 -fsyntax-only -verify %s2 3@interface NSObject @end4@protocol XCElementP @end5@protocol XCElementSpacerP <XCElementP> @end6 7@protocol PWhatever @end8 9@interface XX10 11- (void)setFlexElement:(NSObject <PWhatever, XCElementP> *)flexer;12- (void)setFlexElement2:(NSObject <PWhatever, XCElementSpacerP> *)flexer; // expected-note{{passing argument to parameter 'flexer' here}}13 14@end15 16void func(void) {17 NSObject <PWhatever, XCElementSpacerP> * flexer;18 NSObject <PWhatever, XCElementP> * flexer2;19 XX *obj;20 [obj setFlexElement:flexer];21 // FIXME: GCC provides the following diagnostic (which is much better):22 // protocol-typecheck.m:21: warning: class 'NSObject <PWhatever, XCElementP>' does not implement the 'XCElementSpacerP' protocol23 [obj setFlexElement2:flexer2]; // expected-error{{incompatible pointer types sending 'NSObject<PWhatever,XCElementP> *' to parameter of type 'NSObject<PWhatever,XCElementSpacerP> *'}}24}25 26