// 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