580     Nullability RequiredNullability =  in checkBeginFunction()  local
582     if (RequiredNullability != Nullability::Nullable)  in checkBeginFunction()
592                                        NullabilityState(RequiredNullability));  in checkBeginFunction()
694   Nullability RequiredNullability = getNullabilityAnnotation(RequiredRetType);  in checkPreStmt()  local
704   bool NullReturnedFromNonNull = (RequiredNullability == Nullability::Nonnull &&  in checkPreStmt()
744         RequiredNullability == Nullability::Nonnull) {  in checkPreStmt()
758   if (RequiredNullability == Nullability::Nullable) {  in checkPreStmt()
760                                        NullabilityState(RequiredNullability,  in checkPreStmt()
798     Nullability RequiredNullability =  in checkPreCall()  local
808         RequiredNullability == Nullability::Nonnull &&  in checkPreCall()
838           RequiredNullability == Nullability::Nonnull &&  in checkPreCall()