#pragma clang assume_nonnull begin | |
__attribute__((objc_root_class)) | |
@interface B | |
@end | |
@interface C : B | |
@end | |
__attribute__((objc_root_class)) | |
@interface NSGeneric<T : B *> // expected-note{{type parameter 'T' declared here}} | |
- (T)tee; | |
- (nullable T)maybeTee; | |
@end | |
typedef NSGeneric<C *> *Generic_with_C; | |
#pragma clang assume_nonnull end | |
@interface NSGeneric<T : C *>(Blah) // expected-error{{type bound 'C *' for type parameter 'T' conflicts with previous bound 'B *'}} | |
@end |