38NullableFlowState result = NullableFlowState.NotNull;

187private static readonly TypeWithState _invalidType = TypeWithState.Create(ErrorTypeSymbol.UnknownResultType, NullableFlowState.NotNull); 1822return NullableFlowState.NotNull; 1855return NullableFlowState.NotNull; 1885return NullableFlowState.NotNull; 2207case NullableFlowState.NotNull: 2584NullableFlowState.NotNull; 2616/// and the new state is not <see cref="NullableFlowState.NotNull"/>, this method should be called to perform the 2624if (newState != NullableFlowState.NotNull && NonMonotonicState.HasValue) 2794return TypeWithState.Create(parameterType.Type, NullableFlowState.NotNull); 3448SetResultType(node, TypeWithState.Create(null, NullableFlowState.NotNull)); 3518Debug.Assert(resultState == NullableFlowState.NotNull); 3558return (-1, NullableFlowState.NotNull, inferInitialObjectStateAsContinuation(node, arguments, argumentResults)); 3566var resultState = NullableFlowState.NotNull; 3630Debug.Assert(resultState == NullableFlowState.NotNull); 3764var result = new VisitResult(objectInitializer.Type, NullableAnnotation.NotAnnotated, NullableFlowState.NotNull); 3953SetAnalyzedNullability(node.ImplicitReceiverOpt, new VisitResult(node.ImplicitReceiverOpt.Type, NullableAnnotation.NotAnnotated, NullableFlowState.NotNull)); 4010SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 4116SetResultType(node, TypeWithState.Create(anonymousType, NullableFlowState.NotNull)); 4148SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 4153SetResultType(node, TypeWithState.Create(arrayType, NullableFlowState.NotNull)); 4410NullableFlowState resultState = NullableFlowState.NotNull; 4441resultState = NullableFlowState.NotNull; 4954SetState(ref stateToUpdate, slot, NullableFlowState.NotNull); 4983SetState(ref state, slot, NullableFlowState.NotNull); 5008if (GetState(ref state, slot) == NullableFlowState.NotNull) 5040SetState(ref state, childSlot, NullableFlowState.NotNull); 5159BoundNullCoalescingOperatorResultKind.NoCommonType => (node.Type, NullableFlowState.NotNull), 5164BoundNullCoalescingOperatorResultKind.RightDynamicType => (rightResultType!, NullableFlowState.NotNull), 5181return (rightType, NullableFlowState.NotNull); 5186return (leftType, NullableFlowState.NotNull); 5201TypeWithState.Create(leftType, NullableFlowState.NotNull), 5212return (rightType, NullableFlowState.NotNull); 5674SetResultType(node, TypeWithState.Create(rvalueType, NullableFlowState.NotNull)); 5927return NullableFlowState.NotNull; 6041return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 6442SetState(ref state, memberSlot, NullableFlowState.NotNull); 6846return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 6865return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 6884return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 7577SetResultType(node, TypeWithState.Create(null, NullableFlowState.NotNull)); 7584SetState(ref this.State, slot, NullableFlowState.NotNull); 7596SetResultType(node, TypeWithState.Create(tupleOpt, NullableFlowState.NotNull)); 7718SetState(ref this.State, targetFieldSlot, NullableFlowState.NotNull); 7735SetState(ref this.State, targetFieldSlot, NullableFlowState.NotNull); 7957NullableFlowState resultState = NullableFlowState.NotNull; 7991resultState = NullableFlowState.NotNull; 8015return TypeWithState.Create(targetType, NullableFlowState.NotNull); 8021resultState = NullableFlowState.NotNull; 8025resultState = NullableFlowState.NotNull; 8030resultState = NullableFlowState.NotNull; 8069resultState = NullableFlowState.NotNull; 8193resultState = NullableFlowState.NotNull; 8241resultState = NullableFlowState.NotNull; 8457var resultType = TypeWithState.Create(targetType, NullableFlowState.NotNull); 8734var result = TypeWithState.Create(delegateType, NullableFlowState.NotNull); 9019var rvalueResult = TypeWithState.Create(node.Type, NullableFlowState.NotNull); 9435var valueBeforeNullableWrapping = TypeWithState.Create(underlyingType.Type, NullableFlowState.NotNull); 9695resultType = TypeWithState.Create(node.Type, NullableFlowState.NotNull); 9914SetState(ref this.StateWhenTrue, containingSlot, NullableFlowState.NotNull); 10097if (enumeratorReturnType.State != NullableFlowState.NotNull) 10178var state = NullableFlowState.NotNull; 10372TypeWithState.Create(node.Type, node.OperatorKind.IsLifted() ? argumentResult.State : NullableFlowState.NotNull); 10419return TypeWithState.Create(node.Type, NullableFlowState.NotNull); 10537SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 10574SetState(ref this.State, slot, NullableFlowState.NotNull); 10622NullableFlowState resultState = NullableFlowState.NotNull; 10675SetResultType(node, TypeWithState.Create(node.Type, node.Type?.CanContainNull() != false && node.ConstantValueOpt?.IsNull == true ? NullableFlowState.MaybeDefault : NullableFlowState.NotNull)); 10959SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 10974SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 11023SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 11029SetResultType(node, TypeWithState.Create(type, NullableFlowState.NotNull)); 11097SetState(ref this.State, slot, NullableFlowState.NotNull); 11186Debug.Assert(ResultType is TypeWithState { Type: FunctionPointerTypeSymbol { }, State: NullableFlowState.NotNull }); 11491SetValue(Id, index, useNotNullsAsDefault ? NullableFlowState.NotNull : walker.GetDefaultState(ref this, slot)); 11523return NullableFlowState.NotNull; 11532(true, true) => NullableFlowState.NotNull 11560NullableFlowState.NotNull => (true, true),

443SetState(ref State, outputSlot, NullableFlowState.NotNull); 537SetState(ref this.State, outputSlot, NullableFlowState.NotNull); // Slice value is assumed to be never null

1126return NullableFlowState.NotNull; 1130return type.IsNullableTypeOrTypeParameter() ? NullableFlowState.MaybeNull : NullableFlowState.NotNull; 1137return NullableFlowState.NotNull; 1142return NullableFlowState.NotNull; 1162if (state == 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,

788return annotation.IsAnnotated() ? NullableFlowState.MaybeDefault : NullableFlowState.NotNull; 792return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeDefault, NullableAnnotation.NotAnnotated => NullableFlowState.MaybeNull, _ => NullableFlowState.NotNull }; 796return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeDefault, _ => NullableFlowState.NotNull }; 802return 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;

123128var inputs = new[] { NullableFlowState.NotNull, NullableFlowState.MaybeNull }; 123134{ NullableFlowState.NotNull, NullableFlowState.MaybeNull }, 123160var inputs = new[] { NullableFlowState.NotNull, NullableFlowState.MaybeNull }; 123165{ NullableFlowState.NotNull, NullableFlowState.NotNull }, 123166{ NullableFlowState.NotNull, NullableFlowState.MaybeNull },