| // RUN: %clang_cc1 -fsyntax-only -verify %s |
| |
| @protocol P |
| @property(readonly) int X; |
| @end |
| |
| @protocol P1<P> |
| @property (copy) id ID; |
| @end |
| |
| @interface I |
| @end |
| |
| @interface I (Cat) <P> |
| @property float X; // expected-warning {{property type 'float' is incompatible with type 'int' inherited from 'P'}} |
| @end |
| |
| @interface I (Cat2) <P1> |
| @property (retain) id ID; // expected-warning {{property 'ID' 'copy' attribute does not match the property inherited from 'P1'}} |
| @end |
| |
| |
| @interface A |
| @property(assign) int categoryProperty; |
| @end |
| |
| // Don't issue warning on unimplemented setter/getter |
| // because property is @dynamic. |
| @implementation A |
| @dynamic categoryProperty; |
| @end |
