| // RUN: %clang_cc1 -fsyntax-only -verify %s | |
| // rdar://9740328 | |
| @protocol P1; | |
| @interface NSObject | |
| @end | |
| @interface A : NSObject | |
| @property (assign) NSObject<P1> *prop; | |
| @end | |
| @protocol P2 <P1> | |
| @end | |
| @interface B : A | |
| @property (assign) NSObject<P2> *prop; | |
| @end | |