73Type = type;

415Debug.Assert(isDerivedType(NominalSlotType(originalInputSlot), expressionTypeWithState.Type)); 416tempMap.Add(rootTemp, (originalInputSlot, expressionTypeWithState.Type));

149Debug.Assert(TypeSymbol.Equals(RValueType.Type, LValueType.Type, TypeCompareKind.ConsiderEverything)); 369Debug.Assert(TypeAllowsConditionalState(visitResult.RValueType.Type) 436expr.Type?.Equals(result.RValueType.Type, TypeCompareKind.AllIgnoreOptions) == true ? result.RValueType.Type : expr.Type); 2504!targetType.Type.Equals(valueType.Type, TypeCompareKind.AllIgnoreOptions)) 2552return valueType.Type?.TypeKind == TypeKind.TypeParameter && 2760target.Type.Equals(assignedValue.Type, TypeCompareKind.AllIgnoreOptions); 4978Debug.Assert(TypeSymbol.Equals(containingType, receiverResult.RValueType.Type, TypeCompareKind.IgnoreNullableModifiersForReferenceTypes)); 5385var type = ResultType.Type as ArrayTypeSymbol; 5411var expressionType = VisitRvalueWithState(node.Expression).Type; 5778TypeSymbol asMemberOfType = getTypeIfContainingType(methodContainer, leftUnderlyingType.Type, leftOperand) ?? 5779getTypeIfContainingType(methodContainer, rightUnderlyingType.Type, rightOperand) ?? methodContainer; 5797[new BoundExpressionWithNullability(leftOperand.Syntax, leftOperand, leftUnderlyingType.ToTypeWithAnnotations(compilation).NullableAnnotation, leftUnderlyingType.Type), 5798new BoundExpressionWithNullability(rightOperand.Syntax, rightOperand, rightUnderlyingType.ToTypeWithAnnotations(compilation).NullableAnnotation, rightUnderlyingType.Type)], 6240Debug.Assert(TypeSymbol.Equals(targetType.Type, rightResult.Type, TypeCompareKind.AllIgnoreOptions)); 6283var leftResultType = leftResult.Type; 6284var rightResultType = rightResult.Type; 6339Debug.Assert(conversionResult.Type is not null); 6340return (conversionResult.Type!, conversionResult.State); 6589refResultType = consequenceRValue.Type!.MergeEquivalentTypes(alternativeRValue.Type, VarianceKind.None); 6617resultType = alternativeRValue.Type; 6621resultType = consequenceRValue.Type; 6834var rvalueType = _currentConditionalReceiverVisitResult.RValueType.Type; 7063method = (MethodSymbol)AsMemberOfType(receiverType.Type, method); 7072ReinferenceResult<MethodSymbol> reinferenceResult = VisitArgumentsCore(node, receiverType.Type, arguments, refKindsOpt, parameters, argsToParamsOpt, defaultArguments, 7205isWellKnownEqualityMethodOrImplementation(compilation, method, receiverType.Type, WellKnownMember.System_Collections_Generic_IEqualityComparer_T__Equals)) 7216isWellKnownEqualityMethodOrImplementation(compilation, method, receiverType.Type, WellKnownMember.System_IEquatable_T__Equals))) 7434var type = receiverType.Type; 7539return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 7544return TypeWithState.Create(typeWithState.Type, NullableFlowState.MaybeDefault); 8318var argumentResultType = resultType.Type; 8403hasNoNonNullableCounterpart(valueState.Type) && 8605return TypeWithState.Create(typeWithState.Type, NullableFlowState.MaybeDefault); 8611return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 8626return TypeWithState.Create(typeWithState.Type, NullableFlowState.MaybeDefault); 8630return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 8645return TypeWithState.Create(typeWithState.Type, NullableFlowState.MaybeDefault); 8649return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 8941method = (MethodSymbol)AsMemberOfType(receiverType.Type, method); 9219return TypeWithState.Create(type.Type, state); 9697if (PossiblyNullableType(valueFieldType.Type)) 9702valueFieldType = TypeWithState.Create(valueFieldType.Type, GetState(ref this.State, valueFieldSlot)); 9706var conversionOperand = new BoundValueForNullableAnalysis(convertedNode.Syntax, originalExpression: null, valueFieldType.Type); 10131if (operandType.Type?.IsTupleType == true || conversionOperand.Kind == BoundKind.TupleLiteral) 10143conversion = GenerateConversion(_conversions, conversionOperand, operandType.Type, targetType, fromExplicitCast, extensionMethodThisArgument, isChecked: conversionOpt?.Checked ?? false); 10154if (AreNullableAndUnderlyingTypes(targetType, operandType.Type, out TypeWithAnnotations underlyingType)) 10169conversion = GenerateConversion(_conversions, conversionOperand, operandType.Type, targetType, fromExplicitCast, extensionMethodThisArgument, isChecked: conversionOpt?.Checked ?? false); 10177if (operandType.Type?.IsNullableType() == true && !targetType.IsNullableType()) 10213TrackNullableStateOfTupleConversion(conversionOpt, conversionOperand, conversion, targetType, operandType.Type, fromExplicitCast: fromExplicitCast, slot, valueSlot, assignmentKind, parameterOpt, reportWarnings: reportRemainingWarnings); 10224canConvertNestedNullability = GenerateConversion(_conversions, conversionOperand, operandType.Type, targetType, fromExplicitCast, extensionMethodThisArgument, isChecked: conversionOpt?.Checked ?? false).Exists; 10262Conversion generated = GenerateConversion(_conversions, conversionOperand, operandType.Type, targetType, fromExplicitCast, extensionMethodThisArgument, isChecked: conversionOpt?.Checked ?? false); 10271Conversion generated = GenerateConversion(_conversions, conversionOperand, operandType.Type, targetType, fromExplicitCast, extensionMethodThisArgument, isChecked: conversionOpt?.Checked ?? false); 10295ReportNullabilityMismatchInArgument(getDiagnosticLocation(), operandType.Type, parameterOpt, targetType, forOutput: false); 10299ReportNullabilityMismatchInAssignment(getDiagnosticLocation(), GetTypeAsDiagnosticArgument(operandType.Type), targetType); 10340var type = operandType.Type; 10371var type = operandType.Type; 10571Debug.Assert(operandType.Type is object); 10579if (operandType.Type.IsNullableType() && !parameterType.IsNullableType()) 10581var underlyingOperandTypeWithAnnotations = operandType.Type.GetNullableUnderlyingTypeWithAnnotations(); 10768Debug.Assert(operandType.Type is object); 10895var type = typeWithState.Type; 10927Debug.Assert(operandType.Type is object); 10930var conversion = _conversions.ClassifyStandardConversion(operandType.Type, targetType.Type, ref discardedUseSiteInfo); 10935ReportNullabilityMismatchInArgument(diagnosticLocation, operandType.Type, parameterOpt, targetType.Type, forOutput: false); 10939ReportNullabilityMismatchInAssignment(diagnosticLocation, operandType.Type, targetType.Type); 11184method = (MethodSymbol)AsMemberOfType(receiverType.Type, method); 11560Debug.Assert(rightResult.Type is object); 11571deconstructMethod = (MethodSymbol)AsMemberOfType(rightResult.Type, deconstructMethod); 11717AreNullableAndUnderlyingTypes(lvalueType.Type, operandType.Type, out TypeWithAnnotations underlyingType)) 11855SetResultType(node, TypeWithState.Create(receiverType.Type, NullableFlowState.NotNull)); 11859SetResultType(node, TypeWithState.Create(results[0].RValueType.Type, GetState(ref State, extensionReceiverSlot))); 11879SetResultType(node, TypeWithState.Create(opType.Type, NullableFlowState.NotNull)); 12048SetResultType(node, TypeWithState.Create(receiverType.Type, NullableFlowState.NotNull)); 12052SetResultType(node, TypeWithState.Create(results[0].RValueType.Type, GetState(ref State, extensionReceiverSlot))); 12076SetResultType(node, TypeWithState.Create(opType.Type, NullableFlowState.NotNull)); 12330var receiverType = VisitRvalueWithState(receiverOpt).Type; 12408member = AsMemberOfType(receiverType.Type, member); 12412receiverType.Type is NamedTypeSymbol { IsUnionType: true } unionType && 12425var memberAnnotations = GetRValueAnnotations(containingSlotOpt: -1, receiverTypeForMemberAccessOpt: receiverType.Type, symbol: member); 12430if (PossiblyNullableType(resultType.Type)) 12436resultType = TypeWithState.Create(resultType.Type, state); 12558var resultType = resultTypeWithState.Type; 12676getEnumeratorType = spanType.Construct(ImmutableArray.Create(convertedResult.Type!.TryGetInlineArrayElementField()!.TypeWithAnnotations)); 12680getEnumeratorType = convertedResult.Type; 12696var currentPropertyGetter = (MethodSymbol)AsMemberOfType(enumeratorReturnType.Type, enumeratorInfoOpt.CurrentPropertyGetter); 12973method = (MethodSymbol)AsMemberOfType(operandType.Type!.StrippedType(), method); 12987[new BoundExpressionWithNullability(operand.Syntax, operand, operandType.ToTypeWithAnnotations(compilation).NullableAnnotation, operandType.Type)], 13219var reinferredGetResult = (MethodSymbol)AsMemberOfType(_visitResult.RValueType.Type, awaitableInfo.GetResult); 13461@event = (EventSymbol)AsMemberOfType(ResultType.Type, @event); 13570var resultTypeSymbol = resultType.Type; 13937Debug.Assert(ResultType is TypeWithState { Type: FunctionPointerTypeSymbol { }, State: NullableFlowState.NotNull });

18[MemberNotNullWhen(false, nameof(Type))] 19public bool HasNullType => Type is null; 77public string GetDebuggerDisplay() => $"{{Type:{Type?.GetDebuggerDisplay()}, State:{State}{"}"}"; 81public TypeWithState WithNotNullState() => new TypeWithState(Type, NullableFlowState.NotNull); 83public TypeWithState WithSuppression(bool suppress) => suppress ? new TypeWithState(Type, NullableFlowState.NotNull) : this; 87if (Type?.IsTypeParameterDisallowingAnnotationInCSharp8() == true) 89var type = TypeWithAnnotations.Create(Type, NullableAnnotation.NotAnnotated); 93(Type?.IsValueType == true ? NullableAnnotation.NotAnnotated : NullableAnnotation.Annotated) : 94(State.IsNotNull() || Type?.CanContainNull() == false ? NullableAnnotation.NotAnnotated : NullableAnnotation.Annotated); 95return TypeWithAnnotations.Create(this.Type, annotation);