5 - (void)methodTakingIntPtr:(_Nonnull int *)ptr;
6 - (_Nonnull int *)methodReturningIntPtr;
10 typedef NSFoo * _Nonnull nonnull_NSFoo_ptr;
11 typedef id _Nonnull nonnull_id;
12 typedef SEL _Nonnull nonnull_SEL;
15 typedef _Nonnull NSFoo * nonnull_NSFoo_ptr_2;
18 typedef _Nonnull NSFoo * _Nullable conflict_NSFoo_ptr_2; // expected-error{{'_Nonnull' cannot be ap…
24 // Check returning nil from a _Nonnull-returning method.
26 - (void)methodTakingIntPtr:(_Nonnull int *)ptr { }
27 - (_Nonnull int *)methodReturningIntPtr {
38 // expected-note@-1{{use nullability type specifier '_Nonnull' to affect the innermost pointer type…
40 - (nonnull NSFoo * _Nonnull)redundantMethod1; // expected-warning{{duplicate nullability specifier …
46 @property(retain,nonnull) NSFoo * _Nonnull redundantProperty1; // expected-warning{{duplicate nulla…
57 @property(retain,nonnull) NSFoo * _Nonnull redundantProperty2; // expected-warning{{duplicate nulla…
60 void test_accepts_nonnull_null_pointer_literal(NSFoo *foo, _Nonnull NSBar *bar) {
67 …ng{{incompatible pointer types initializing 'int *' with an expression of type 'NSFoo * _Nonnull'}}
85   return ip; // expected-warning{{result type 'NSFoo * _Nonnull'}}
98 …ng{{incompatible pointer types initializing 'int *' with an expression of type 'NSFoo * _Nonnull'}}
99   return ptr; // expected-warning{{result type 'NSFoo * _Nonnull'}}
109   return ip; // expected-warning{{result type 'NSFoo * _Nonnull'}}
123                          _Nonnull NSMergeReceiver *nonnull,
147   ptr = [nonnull returnsNonNull]; // expected-warning{{'id _Nonnull'}}
170 + (_Nonnull instancetype)returnInstanceOfMe2;
173 void test_instancetype(InitializableClass * _Nonnull ic, id _Nonnull object) {
180 …ted-warning{{incompatible pointer types assigning to 'int *' from 'InitializableClass * _Nonnull'}}
202   return ip; // expected-warning{{result type 'NSResettable * _Nonnull'}}
244   NSFoo * _Nonnull p;
245   NSFoo * _Nonnull nonnullP;
252 …version from nullable pointer 'NSFoo * _Nullable' to non-nullable pointer type 'NSFoo * _Nonnull'}}
255 …version from nullable pointer 'NSFoo * _Nullable' to non-nullable pointer type 'NSFoo * _Nonnull'}}
256 …version from nullable pointer 'NSFoo * _Nullable' to non-nullable pointer type 'NSFoo * _Nonnull'}}
257 …version from nullable pointer 'NSFoo * _Nullable' to non-nullable pointer type 'NSFoo * _Nonnull'}}
258 …version from nullable pointer 'NSFoo * _Nullable' to non-nullable pointer type 'NSFoo * _Nonnull'}}
260 …version from nullable pointer 'NSFoo * _Nullable' to non-nullable pointer type 'NSFoo * _Nonnull'}}
264 …version from nullable pointer 'NSFoo * _Nullable' to non-nullable pointer type 'NSFoo * _Nonnull'}}
267 …version from nullable pointer 'NSFoo * _Nullable' to non-nullable pointer type 'NSFoo * _Nonnull'}}
268 …version from nullable pointer 'NSFoo * _Nullable' to non-nullable pointer type 'NSFoo * _Nonnull'}}
269 …version from nullable pointer 'NSFoo * _Nullable' to non-nullable pointer type 'NSFoo * _Nonnull'}}
270 … from nullable pointer 'NSFoo * _Nullable_result' to non-nullable pointer type 'NSFoo * _Nonnull'}}
275 - (void)simple:(int [_Nonnull 2])x;  argument
276 - (void)nested:(void *_Nullable [_Nonnull 2])x;  argument
277 - (void)nestedBad:(int [2][_Nonnull 2])x; // expected-error {{nullability specifier '_Nonnull' cann…  argument
279 - (void)withTypedef:(INTS _Nonnull)x;  argument
280 - (void)withTypedefBad:(INTS _Nonnull[2])x; // expected-error{{nullability specifier '_Nonnull' can…  argument
283 …'void * _Nullable[2]'}} expected-note {{use nullability type specifier '_Nonnull' to affect the in…