Home | History | Annotate | Download | only in Sema

Lines Matching defs:Nullability

593       // Transfer the nullability from method's return type.
594       Optional<NullabilityKind> Nullability =
596       if (Nullability)
598             AttributedType::getNullabilityAttrKind(*Nullability), BoxedType,
1432   if (auto nullability = AttributedType::stripOuterNullability(T)) {
1435                AttributedType::getNullabilityAttrKind(*nullability),
1453 /// to account for nullability.
1465   // Local function that transfers the nullability of the method's
1468     // If the method's result type has nullability, extract it.
1469     if (auto nullability = Method->getSendResultType(ReceiverType)
1471       // Strip off any outer nullability sugar from the provided type.
1474       // Form a new attributed type using the method result type's nullability.
1476                AttributedType::getNullabilityAttrKind(*nullability),
1530   // If this is a class message, ignore the nullability of the receiver.
1549         if (auto Nullability = resultType->getNullability(Context))
1551               AttributedType::getNullabilityAttrKind(*Nullability),
1559   // There is nothing left to do if the result type cannot have a nullability
1564   // Map the nullability of the result into a table index.
1566   if (Optional<NullabilityKind> nullability =
1568     if (*nullability == NullabilityKind::NullableResult)
1569       nullability = NullabilityKind::Nullable;
1570     receiverNullabilityIdx = 1 + static_cast<unsigned>(*nullability);
1574   if (Optional<NullabilityKind> nullability =
1576     if (*nullability == NullabilityKind::NullableResult)
1577       nullability = NullabilityKind::Nullable;
1578     resultNullabilityIdx = 1 + static_cast<unsigned>(*nullability);
1581   // The table of nullability mappings, indexed by the receiver's nullability
1582   // and then the result type's nullability.
1600   // Strip off the existing nullability. This removes as little type sugar as
1610   // Add nullability back if needed.