11 @protocol NSObject // expected-note{{'NSObject' declared here}}  protocol
18 @interface NSObject <NSObject> // expected-note{{'NSObject' defined here}}  interface
21 @interface NSString : NSObject <NSCopying>
29 @interface PC1<T, U : NSObject*> : NSObject // expected-note{{'PC1' declared here}}
36 @interface PC2<T : id<NSObject>> : NSObject
40 @interface PC3<T, U : id> : NSObject
44 @interface PC4<T, U, V> : NSObject // expected-note 2{{'PC4' declared here}}
53                T> : NSObject // expected-error{{redeclaration of type parameter 'T'}}
61 @interface PC8<T> : NSObject <NSObject>
66 …U : NSString> : NSObject // expected-error{{missing '*' in type bound 'NSString' for type paramete…
77 @class PC10<T, U : NSObject *>, PC11<T : NSObject *, U : id>; // expected-note{{type parameter 'T' …
85 @interface PC10<T, U : NSObject *> : NSObject
89 @interface PC11<T, U> : NSObject // expected-error{{missing type bound 'NSObject *' for type parame…
92 @interface PC12<T : NSObject *> : NSObject  // expected-note{{type parameter 'T' declared here}}
98 @class PC13<T : NSObject *>; // expected-note{{type parameter 'T' declared here}}
100 @class PC13<U>; // expected-error{{missing type bound 'NSObject *' for type parameter 'U' in @class…
103 @class PC12<T>; // expected-error{{missing type bound 'NSObject *' for type parameter 'T' in @class…
106 @class NSObject<T>; // expected-error{{forward declaration of non-parameterized class 'NSObject' ca…
107 // expected-note@-1{{'NSObject' declared here}}
111 @class NSNumber<T : NSObject *>; // expected-note{{'NSNumber' declared here}}
112 @interface NSNumber : NSObject // expected-error{{class 'NSNumber' previously declared with type pa…
119 @interface PC14<T, U : NSObject *> : NSObject
127 @interface PC1<T, U> (Cat1) <NSObject>
131 @interface PC1<T : id, U : NSObject *> (Cat2) <NSObject>
135 @interface PC1<T, U> () <NSObject>  category
139 @interface PC1<T : id, U : NSObject *> () <NSObject>  category
151 @interface PC1<T : NSObject *, // expected-error{{type bound 'NSObject *' for type parameter 'T' co…
152 …{{type bound 'id' for type parameter 'X' conflicts with previous bound 'NSObject *'for type parame…
156 @interface NSObject<T> (Cat1) // expected-error{{category of non-parameterized class 'NSObject' can…  category
159 @interface NSObject<T> () // expected-error{{extension of non-parameterized class 'NSObject' cannot…  interface in PC1
182 @interface PC20<T : id, U : NSObject *, V : NSString *> : NSObject {
204 typedef PC4<id, NSObject *, NSString *> typeArgs1;
211 typedef PC4<NSObject, id, id> typeArgs3; // expected-error{{type argument 'NSObject' must be a poin…
215 typedef PC4<NSObject, NSCopying> protocolQuals1;
218 typedef PC4<id, NSObject *, id><NSObject, NSCopying> typeArgsAndProtocolQuals1;
221 typedef PC4<NSObject, NSCopying><id, NSObject *, id> typeArgsAndProtocolQuals2; // expected-error{{…
224 typedef PC4<id, NSObject, id><NSObject, NSCopying> typeArgsAndProtocolQuals3; // expected-error{{ty…
227 …als2; // expected-error{{cannot find protocol declaration for 'NSObjec'; did you mean 'NSObject'?}}
230 …id, NSObjec> typeArgs4; // expected-error{{unknown class name 'NSObjec'; did you mean 'NSObject'?}}
231 // expected-error@-1{{type argument 'NSObject' must be a pointer (requires a '*')}}
234 typedef PC4<NSObject, NSObject, NSCopyin> protocolQuals3; // expected-error{{cannot find protocol d…
237 typedef PC4<NSObject, NSObject, ObjCStringref> typeArgs5; // expected-error{{unknown type name 'Obj…
238 // expected-error@-1{{type argument 'NSObject' must be a pointer (requires a '*')}}
239 // expected-error@-2{{type argument 'NSObject' must be a pointer (requires a '*')}}
249 typedef PC4<id<NSCopying>, NSObject *, id<NSObject>> typeArgs6;
255 @interface PC15<T : id, U : NSObject *, V : id<NSCopying>> : NSObject
269 typedef PC15<NSObject *, NSObject *, id<NSCopying>> typeArgs8;
271 typedef PC15<NSObject *, NSObject *,
272 …NSObject *> typeArgs8b; // expected-error{{type argument 'NSObject *' does not satisfy the bound (…
275 …id,  // expected-error{{type argument 'id' does not satisfy the bound ('NSObject *') of type param…
278 typedef PC15<id, NSObject *,
283              id<NSCopying, NSObject>> typeArgs11;
287 typedef NSObject<id, id> typeArgs13; // expected-error{{type arguments cannot be applied to non-par…
291 typedef PC1<NSObject *, NSString *> typeArgs15;
293 typedef PC1<NSObject *, NSString *><NSCopying> typeArgsAndProtocolQuals4;
297 …NSObject *, NSString *> typeArgs16; // expected-error{{type arguments cannot be applied to already…
299 typedef typeArgs15<NSObject> typeArgsAndProtocolQuals6;
304   ip = (typeArgs15*)0; // expected-warning{{'typeArgs15 *' (aka 'PC1<NSObject *,NSString *> *')}}
305 …Quals4*)0; // expected-warning{{'typeArgsAndProtocolQuals4 *' (aka 'PC1<NSObject *,NSString *><NSC…
307 …olQuals6)0; // expected-error{{used type 'typeArgsAndProtocolQuals6' (aka 'typeArgs15<NSObject>')}}
308 …otocolQuals6*)0;// expected-warning{{'typeArgsAndProtocolQuals6 *' (aka 'typeArgs15<NSObject> *')}}
314 @interface PC21<T : NSObject *> : PC1<T, T>
317 @interface PC22<T : NSObject *> : PC1<T> // expected-error{{too few type arguments for class 'PC1' …
320 @interface PC23<T : NSObject *> : PC1<T, U> // expected-error{{unknown type name 'U'}}
323 …pected-error{{type argument 'T' (aka 'id') does not satisfy the bound ('NSObject *') of type param…
326 @interface NSFoo : PC1<NSObject *, NSObject *> // okay
336 @interface Variance1<__covariant T, __contravariant U> : NSObject // expected-note 2{{declared here…
362 …U> : NSObject // expected-error{{invariant type parameter 'U' conflicts with previous contravarian…