16 typedef int (X::* _Nonnull member_function_type_1)(int);
17 typedef int X::* _Nonnull member_data_type_1;
18 typedef nullptr_t _Nonnull nonnull_nullptr_t; // expected-error{{nullability specifier '_Nonnull' c…
21 typedef _Nonnull int (X::* member_function_type_2)(int);
22 typedef int (X::* _Nonnull member_function_type_3)(int);
23 typedef _Nonnull int X::* member_data_type_2;
28 …typedef _Nonnull T type; // expected-error{{nullability specifier '_Nonnull' cannot be applied to …
41 …typedef _Nonnull AddNonNull<T> invalid1; // expected-error{{nullability specifier '_Nonnull' canno…
42 …typedef _Nonnull AddNonNull2 invalid2; // expected-error{{nullability specifier '_Nonnull' cannot …
43 …typedef _Nonnull AddNonNull2<T> invalid3; // expected-error{{nullability specifier '_Nonnull' cann…
44   typedef _Nonnull typename AddNonNull<T>::type okay1;
48 …typedef _Nonnull AddNonNull<T> (*invalid4); // expected-error{{nullability specifier '_Nonnull' ca…
52 void (*accepts_nonnull_1)(_Nonnull int *ptr);
53 void (*& accepts_nonnull_2)(_Nonnull int *ptr) = accepts_nonnull_1;
54 void (X::* accepts_nonnull_3)(_Nonnull int *ptr);
55 void accepts_nonnull_4(_Nonnull int *ptr);
56 void (&accepts_nonnull_5)(_Nonnull int *ptr) = accepts_nonnull_4;
66 template<void FP(_Nonnull int*)> 
73 void TakeNonnull(void *_Nonnull);
77 …void *_Nonnull p(nullable); // expected-warning{{implicit conversion from nullable pointer 'void *…  in AssignAndInitNonNull()
78 …void *_Nonnull p2{nullable}; // expected-warning{{implicit conversion from nullable pointer 'void …  in AssignAndInitNonNull()
79 …void *_Nonnull p3 = {nullable}; // expected-warning{{implicit conversion from nullable pointer 'vo…  in AssignAndInitNonNull()
80 …void *_Nonnull p4 = nullable; // expected-warning{{implicit conversion from nullable pointer 'void…  in AssignAndInitNonNull()
81   void *_Nonnull nonnull;  in AssignAndInitNonNull()
92 …void *_Nonnull p(ReturnNullable()); // expected-warning{{implicit conversion from nullable pointer…  in AssignAndInitNonNullFromFn()
93 …void *_Nonnull p2{ReturnNullable()}; // expected-warning{{implicit conversion from nullable pointe…  in AssignAndInitNonNullFromFn()
94 …void *_Nonnull p3 = {ReturnNullable()}; // expected-warning{{implicit conversion from nullable poi…  in AssignAndInitNonNullFromFn()
95 …void *_Nonnull p4 = ReturnNullable(); // expected-warning{{implicit conversion from nullable point…  in AssignAndInitNonNullFromFn()
96   void *_Nonnull nonnull;  in AssignAndInitNonNullFromFn()
107   Base * _Nonnull p;  in ConditionalExpr()
108   Base * _Nonnull nonnullB;  in ConditionalExpr()
110   Derived * _Nonnull nonnullD;  in ConditionalExpr()
125   auto simple = [](int [_Nonnull 2]) {};  in arraysInLambdas()
127   auto nested = [](void *_Nullable [_Nonnull 2]) {};  in arraysInLambdas()
129 …auto nestedBad = [](int [2][_Nonnull 2]) {}; // expected-error {{nullability specifier '_Nonnull' …  in arraysInLambdas()
131   auto withTypedef = [](INTS _Nonnull) {};  in arraysInLambdas()  argument
133 …auto withTypedefBad = [](INTS _Nonnull[2]) {}; // expected-error {{nullability specifier '_Nonnull…  in arraysInLambdas()