// RUN: %clang_cc1  -fsyntax-only -verify %s

@protocol PROTOCOL0
@required
@property float MyProperty0; // expected-warning {{property 'MyProperty0' requires method 'MyProperty0' to be defined }} \
			     // expected-warning {{property 'MyProperty0' requires method 'setMyProperty0:' to be defined}}
@end

@protocol PROTOCOL<PROTOCOL0>
@required
@property float MyProperty; // expected-warning {{property 'MyProperty' requires method 'MyProperty' to be defined}} \
			// expected-warning {{property 'MyProperty' requires method 'setMyProperty:' to be defined}}
@optional
@property float OptMyProperty;
@end

@interface I <PROTOCOL>
@end

@implementation I @end // expected-note 4 {{implementation is here}}