| // RUN: %clang_cc1 -fsyntax-only -verify %s | |
| @protocol P | |
| @property(readonly) id z; | |
| @end | |
| @interface Foo | |
| @property (readonly) id x; | |
| @end | |
| @interface MutableFoo : Foo | |
| @property (copy) id x; | |
| @end | |
| @interface Foo (Cat) <P> | |
| @property (copy) id z; // expected-warning {{'copy' attribute on property 'z' does not match the property inherited from 'P'}} | |
| @end | |