class A {};
class B : public A {};
class C {};

@interface IA
@property (nonatomic, readonly) A* foo;
@end

@interface IB : IA
@end

@implementation IB
- (B*)foo {
  return new B;
}
@end