38NullableFlowState result = NullableFlowState.NotNull;

466SetState(ref State, outputSlot, NullableFlowState.NotNull); 518SetState(ref this.State, outputSlot, NullableFlowState.NotNull); // Slice value is assumed to be never null 999receiverType: TypeWithState.Create(inputType, NullableFlowState.NotNull),

235private static readonly TypeWithState _invalidType = TypeWithState.Create(new UnsupportedMetadataTypeSymbol(), NullableFlowState.NotNull); 2048return NullableFlowState.NotNull; 2081return NullableFlowState.NotNull; 2110return NullableFlowState.NotNull; 2475case NullableFlowState.NotNull: 2858NullableFlowState.NotNull; 2906/// and the new state is not <see cref="NullableFlowState.NotNull"/>, this method should be called to perform the 2914if (newState != NullableFlowState.NotNull && NonMonotonicState.HasValue) 3135return TypeWithState.Create(parameterType.Type, NullableFlowState.NotNull); 3438SetState(ref state, slot, NullableFlowState.NotNull); 3711placeholderResult = new VisitResult(placeholder.Type, NullableAnnotation.NotAnnotated, NullableFlowState.NotNull); 3962SetResultType(node, TypeWithState.Create(null, NullableFlowState.NotNull)); 3970SetResultType(node, TypeWithState.Create(null, NullableFlowState.NotNull)); 4066NullableFlowState.NotNull)); 4276return NullableFlowState.NotNull; 4398Debug.Assert(resultState == NullableFlowState.NotNull); 4438return (-1, NullableFlowState.NotNull, inferInitialObjectStateAsContinuation(node, arguments, argumentResults, hasObjectInitializer)); 4444var resultState = NullableFlowState.NotNull; 4504SetUnionValueState(slot, valueProperty, NullableFlowState.NotNull); 4544Debug.Assert(resultState == NullableFlowState.NotNull); 4702var result = new VisitResult(objectInitializer.Type, NullableAnnotation.NotAnnotated, NullableFlowState.NotNull); 4727argumentResults = argumentResults.SetItem(0, new VisitResult(containingType, NullableAnnotation.NotAnnotated, NullableFlowState.NotNull)); 4853firstArgumentResult = new VisitResult(containingType, NullableAnnotation.NotAnnotated, NullableFlowState.NotNull); 4946SetAnalyzedNullability(node.ImplicitReceiverOpt, new VisitResult(node.ImplicitReceiverOpt.Type, NullableAnnotation.NotAnnotated, NullableFlowState.NotNull)); 5004SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 5009var resultType = TypeWithState.Create(node.Type, NullableFlowState.NotNull); 5117SetResultType(node, TypeWithState.Create(anonymousType, NullableFlowState.NotNull)); 5149SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 5154SetResultType(node, TypeWithState.Create(arrayType, NullableFlowState.NotNull)); 5432NullableFlowState resultState = NullableFlowState.NotNull; 5463resultState = NullableFlowState.NotNull; 6068SetState(ref stateToUpdate, slot, NullableFlowState.NotNull); 6097SetState(ref state, slot, NullableFlowState.NotNull); 6122if (GetState(ref state, slot) == NullableFlowState.NotNull) 6154SetState(ref state, childSlot, NullableFlowState.NotNull); 6233SetState(ref this.State, leftSlot, NullableFlowState.NotNull); 6288BoundNullCoalescingOperatorResultKind.NoCommonType => (node.Type, NullableFlowState.NotNull), 6293BoundNullCoalescingOperatorResultKind.RightDynamicType => (rightResultType!, NullableFlowState.NotNull), 6311return (rightType, NullableFlowState.NotNull); 6317return (leftType, NullableFlowState.NotNull); 6332TypeWithState.Create(leftType, NullableFlowState.NotNull), 6343return (rightType, NullableFlowState.NotNull); 6839SetResultType(node, TypeWithState.Create(rvalueType, NullableFlowState.NotNull)); 7397return NullableFlowState.NotNull; 7539return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 8160SetState(ref state, memberSlot, NullableFlowState.NotNull); 8611return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 8630return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 8649return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 9493SetResultType(node, TypeWithState.Create(null, NullableFlowState.NotNull)); 9500SetState(ref this.State, slot, NullableFlowState.NotNull); 9518SetResultType(node, TypeWithState.Create(tupleOpt, NullableFlowState.NotNull)); 9641SetState(ref this.State, targetFieldSlot, NullableFlowState.NotNull); 9658SetState(ref this.State, targetFieldSlot, NullableFlowState.NotNull); 9953NullableFlowState resultState = NullableFlowState.NotNull; 9985resultState = NullableFlowState.NotNull; 10010return TypeWithState.Create(targetType, NullableFlowState.NotNull); 10016resultState = NullableFlowState.NotNull; 10020resultState = NullableFlowState.NotNull; 10025resultState = NullableFlowState.NotNull; 10085resultState = NullableFlowState.NotNull; 10247resultState = NullableFlowState.NotNull; 10320resultState = NullableFlowState.NotNull; 10544var resultType = TypeWithState.Create(targetType, NullableFlowState.NotNull); 10696var resultType = TypeWithState.Create(targetTypeWithNullability.Type, NullableFlowState.NotNull); 10789unionTypeWithState = TypeWithState.Create(toType, NullableFlowState.NotNull); 11000var result = TypeWithState.Create(delegateType, NullableFlowState.NotNull); 11297var rvalueResult = TypeWithState.Create(node.Type, NullableFlowState.NotNull); 11722var valueBeforeNullableWrapping = TypeWithState.Create(underlyingType.Type, NullableFlowState.NotNull); 11855SetResultType(node, TypeWithState.Create(receiverType.Type, NullableFlowState.NotNull)); 11879SetResultType(node, TypeWithState.Create(opType.Type, NullableFlowState.NotNull)); 12048SetResultType(node, TypeWithState.Create(receiverType.Type, NullableFlowState.NotNull)); 12076SetResultType(node, TypeWithState.Create(opType.Type, NullableFlowState.NotNull)); 12457SetState(ref this.StateWhenTrue, slotToSet, NullableFlowState.NotNull); 12688if (enumeratorReturnType.State != NullableFlowState.NotNull) 12759var state = NullableFlowState.NotNull; 12963TypeWithState.Create(node.Type, node.OperatorKind.IsLifted() ? argumentResult.State : NullableFlowState.NotNull); 13229SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 13266SetState(ref this.State, slot, NullableFlowState.NotNull); 13312NullableFlowState resultState = NullableFlowState.NotNull; 13365SetResultType(node, TypeWithState.Create(node.Type, node.Type?.CanContainNull() != false && node.ConstantValueOpt?.IsNull == true ? NullableFlowState.MaybeDefault : NullableFlowState.NotNull)); 13649SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 13664SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 13713SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 13719SetResultType(node, TypeWithState.Create(type, NullableFlowState.NotNull)); 13787SetState(ref this.State, slot, NullableFlowState.NotNull); 13937Debug.Assert(ResultType is TypeWithState { Type: FunctionPointerTypeSymbol { }, State: NullableFlowState.NotNull }); 14243SetValue(Id, index, useNotNullsAsDefault ? NullableFlowState.NotNull : walker.GetDefaultState(ref this, slot)); 14275return NullableFlowState.NotNull; 14284(false, false) => NullableFlowState.NotNull, // Should not be reachable 14287(true, true) => NullableFlowState.NotNull 14316NullableFlowState.NotNull => (true, true), 14370var oldValue = oldReachable ? GetValue(i) : NullableFlowState.NotNull;

1231return NullableFlowState.NotNull; 1235return type.IsNullableTypeOrTypeParameter() ? NullableFlowState.MaybeNull : NullableFlowState.NotNull; 1242return NullableFlowState.NotNull; 1247return NullableFlowState.NotNull; 1267if (state == NullableFlowState.NotNull)

2687var result = NullableFlowState.NotNull;

11/// When in doubt we conservatively use <see cref="NullableFlowState.NotNull"/>

13public static bool MayBeNull(this NullableFlowState state) => state != NullableFlowState.NotNull; 15public static bool IsNotNull(this NullableFlowState state) => state == NullableFlowState.NotNull; 25/// The result is <see cref="NullableFlowState.NotNull"/> if either operand is that. 32CSharp.NullableFlowState.NotNull => CodeAnalysis.NullableFlowState.NotNull, 42CodeAnalysis.NullableFlowState.None => CSharp.NullableFlowState.NotNull, 43CodeAnalysis.NullableFlowState.NotNull => CSharp.NullableFlowState.NotNull,

817return annotation.IsAnnotated() ? NullableFlowState.MaybeDefault : NullableFlowState.NotNull; 821return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeDefault, NullableAnnotation.NotAnnotated => NullableFlowState.MaybeNull, _ => NullableFlowState.NotNull }; 825return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeDefault, _ => NullableFlowState.NotNull }; 831return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeNull, _ => NullableFlowState.NotNull };

21public bool IsNotNull => State == NullableFlowState.NotNull; 36var state = defaultState != NullableFlowState.NotNull && type?.CanContainNull() != false ? NullableFlowState.MaybeNull : NullableFlowState.NotNull; 54state = NullableFlowState.NotNull; 63state = NullableFlowState.NotNull; 71Debug.Assert(state == NullableFlowState.NotNull || type?.CanContainNull() != false); 81public TypeWithState WithNotNullState() => new TypeWithState(Type, NullableFlowState.NotNull); 83public TypeWithState WithSuppression(bool suppress) => suppress ? new TypeWithState(Type, NullableFlowState.NotNull) : this;