// RUN: clang-cc  -fsyntax-only -verify %s

@interface MessageStore
@property (assign, readonly) int P;
@end

@interface MessageStore (CAT)
@property (assign) int P;
@end

@interface  NeXTMbox : MessageStore
@end

@implementation NeXTMbox
- (void) Meth { self.P = 1; }
@end