// RUN: clang -verify %s
@protocol MyProto1
@optional
- (void) FOO;
- (void) REQ;
@end
@interface MyProto2 <MyProto1>
- (void) FOO2;
- (void) FOO3;
@implementation MyProto2
- (void) FOO2{}
- (void) FOO3{}