1// RUN: %clang_cc1 -fsyntax-only -verify %s
2// rdar://15014468
3
4@protocol P
5  @property(readonly) id z;
6@end
7
8@interface Foo
9  @property (readonly) id x;
10@end
11
12@interface MutableFoo : Foo
13  @property (copy) id x;
14@end
15
16@interface Foo (Cat) <P>
17@property (copy) id  z; // expected-warning {{'copy' attribute on property 'z' does not match the property inherited from 'P'}}
18@end
19
20