38NullableFlowState result = NullableFlowState.NotNull;

216private static readonly TypeWithState _invalidType = TypeWithState.Create(new UnsupportedMetadataTypeSymbol(), NullableFlowState.NotNull); 1974return NullableFlowState.NotNull; 2007return NullableFlowState.NotNull; 2037return NullableFlowState.NotNull; 2383case NullableFlowState.NotNull: 2758NullableFlowState.NotNull; 2806/// and the new state is not <see cref="NullableFlowState.NotNull"/>, this method should be called to perform the 2814if (newState != NullableFlowState.NotNull && NonMonotonicState.HasValue) 3035return TypeWithState.Create(parameterType.Type, NullableFlowState.NotNull); 3339SetState(ref state, slot, NullableFlowState.NotNull); 3838SetResultType(node, TypeWithState.Create(null, NullableFlowState.NotNull)); 3846SetResultType(node, TypeWithState.Create(null, NullableFlowState.NotNull)); 4018return NullableFlowState.NotNull; 4138Debug.Assert(resultState == NullableFlowState.NotNull); 4178return (-1, NullableFlowState.NotNull, inferInitialObjectStateAsContinuation(node, arguments, argumentResults, hasObjectInitializer)); 4184var resultState = NullableFlowState.NotNull; 4251Debug.Assert(resultState == NullableFlowState.NotNull); 4385var result = new VisitResult(objectInitializer.Type, NullableAnnotation.NotAnnotated, NullableFlowState.NotNull); 4575SetAnalyzedNullability(node.ImplicitReceiverOpt, new VisitResult(node.ImplicitReceiverOpt.Type, NullableAnnotation.NotAnnotated, NullableFlowState.NotNull)); 4633SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 4638var resultType = TypeWithState.Create(node.Type, NullableFlowState.NotNull); 4746SetResultType(node, TypeWithState.Create(anonymousType, NullableFlowState.NotNull)); 4778SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 4783SetResultType(node, TypeWithState.Create(arrayType, NullableFlowState.NotNull)); 5061NullableFlowState resultState = NullableFlowState.NotNull; 5092resultState = NullableFlowState.NotNull; 5681SetState(ref stateToUpdate, slot, NullableFlowState.NotNull); 5710SetState(ref state, slot, NullableFlowState.NotNull); 5735if (GetState(ref state, slot) == NullableFlowState.NotNull) 5767SetState(ref state, childSlot, NullableFlowState.NotNull); 5846SetState(ref this.State, leftSlot, NullableFlowState.NotNull); 5901BoundNullCoalescingOperatorResultKind.NoCommonType => (node.Type, NullableFlowState.NotNull), 5906BoundNullCoalescingOperatorResultKind.RightDynamicType => (rightResultType!, NullableFlowState.NotNull), 5923return (rightType, NullableFlowState.NotNull); 5928return (leftType, NullableFlowState.NotNull); 5943TypeWithState.Create(leftType, NullableFlowState.NotNull), 5954return (rightType, NullableFlowState.NotNull); 6450SetResultType(node, TypeWithState.Create(rvalueType, NullableFlowState.NotNull)); 6940return NullableFlowState.NotNull; 7074return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 7664SetState(ref state, memberSlot, NullableFlowState.NotNull); 8099return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 8118return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 8137return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 8924SetResultType(node, TypeWithState.Create(null, NullableFlowState.NotNull)); 8931SetState(ref this.State, slot, NullableFlowState.NotNull); 8949SetResultType(node, TypeWithState.Create(tupleOpt, NullableFlowState.NotNull)); 9071SetState(ref this.State, targetFieldSlot, NullableFlowState.NotNull); 9088SetState(ref this.State, targetFieldSlot, NullableFlowState.NotNull); 9324NullableFlowState resultState = NullableFlowState.NotNull; 9356resultState = NullableFlowState.NotNull; 9380return TypeWithState.Create(targetType, NullableFlowState.NotNull); 9386resultState = NullableFlowState.NotNull; 9390resultState = NullableFlowState.NotNull; 9395resultState = NullableFlowState.NotNull; 9435resultState = NullableFlowState.NotNull; 9559resultState = NullableFlowState.NotNull; 9633resultState = NullableFlowState.NotNull; 9858var resultType = TypeWithState.Create(targetType, NullableFlowState.NotNull); 10138var result = TypeWithState.Create(delegateType, NullableFlowState.NotNull); 10435var rvalueResult = TypeWithState.Create(node.Type, NullableFlowState.NotNull); 10855var valueBeforeNullableWrapping = TypeWithState.Create(underlyingType.Type, NullableFlowState.NotNull); 10985SetResultType(node, TypeWithState.Create(receiverType.Type, NullableFlowState.NotNull)); 11009SetResultType(node, TypeWithState.Create(opType.Type, NullableFlowState.NotNull)); 11163SetResultType(node, TypeWithState.Create(receiverType.Type, NullableFlowState.NotNull)); 11191SetResultType(node, TypeWithState.Create(opType.Type, NullableFlowState.NotNull)); 11505SetState(ref this.StateWhenTrue, containingSlot, NullableFlowState.NotNull); 11729if (enumeratorReturnType.State != NullableFlowState.NotNull) 11810var state = NullableFlowState.NotNull; 12007TypeWithState.Create(node.Type, node.OperatorKind.IsLifted() ? argumentResult.State : NullableFlowState.NotNull); 12275SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 12312SetState(ref this.State, slot, NullableFlowState.NotNull); 12358NullableFlowState resultState = NullableFlowState.NotNull; 12411SetResultType(node, TypeWithState.Create(node.Type, node.Type?.CanContainNull() != false && node.ConstantValueOpt?.IsNull == true ? NullableFlowState.MaybeDefault : NullableFlowState.NotNull)); 12695SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 12710SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 12759SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 12765SetResultType(node, TypeWithState.Create(type, NullableFlowState.NotNull)); 12833SetState(ref this.State, slot, NullableFlowState.NotNull); 12922Debug.Assert(ResultType is TypeWithState { Type: FunctionPointerTypeSymbol { }, State: NullableFlowState.NotNull }); 13227SetValue(Id, index, useNotNullsAsDefault ? NullableFlowState.NotNull : walker.GetDefaultState(ref this, slot)); 13259return NullableFlowState.NotNull; 13268(false, false) => NullableFlowState.NotNull, // Should not be reachable 13271(true, true) => NullableFlowState.NotNull 13300NullableFlowState.NotNull => (true, true), 13354var oldValue = oldReachable ? GetValue(i) : NullableFlowState.NotNull;

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

1233return NullableFlowState.NotNull; 1237return type.IsNullableTypeOrTypeParameter() ? NullableFlowState.MaybeNull : NullableFlowState.NotNull; 1244return NullableFlowState.NotNull; 1249return NullableFlowState.NotNull; 1269if (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,

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;

126898var inputs = new[] { NullableFlowState.NotNull, NullableFlowState.MaybeNull }; 126904{ NullableFlowState.NotNull, NullableFlowState.MaybeNull }, 126930var inputs = new[] { NullableFlowState.NotNull, NullableFlowState.MaybeNull }; 126935{ NullableFlowState.NotNull, NullableFlowState.NotNull }, 126936{ NullableFlowState.NotNull, NullableFlowState.MaybeNull },