1 write to Type
Microsoft.CodeAnalysis.CSharp (1)
Symbols\TypeWithState.cs (1)
73Type = type;
102 references to Type
Microsoft.CodeAnalysis.CSharp (102)
FlowAnalysis\NullableWalker.cs (90)
130Debug.Assert(TypeSymbol.Equals(RValueType.Type, LValueType.Type, TypeCompareKind.ConsiderEverything)); 350Debug.Assert(TypeAllowsConditionalState(visitResult.RValueType.Type) 417expr.Type?.Equals(result.RValueType.Type, TypeCompareKind.AllIgnoreOptions) == true ? result.RValueType.Type : expr.Type); 553Debug.Assert(AreCloseEnough(placeholder.Type, result.RValueType.Type)); 2412!targetType.Type.Equals(valueType.Type, TypeCompareKind.AllIgnoreOptions)) 2460return valueType.Type?.TypeKind == TypeKind.TypeParameter && 2668target.Type.Equals(assignedValue.Type, TypeCompareKind.AllIgnoreOptions); 3710Debug.Assert((object?)resultType.Type != _invalidType.Type); 3711Debug.Assert(AreCloseEnough(resultType.Type, node.Type)); 4549Debug.Assert(TypeSymbol.Equals(containingType, receiverResult.RValueType.Type, TypeCompareKind.IgnoreNullableModifiersForReferenceTypes)); 4607Debug.Assert(TypeSymbol.Equals(containingType, receiverResult.RValueType.Type, TypeCompareKind.IgnoreNullableModifiersForReferenceTypes)); 5014var type = ResultType.Type as ArrayTypeSymbol; 5040var expressionType = VisitRvalueWithState(node.Expression).Type; 5391TypeSymbol asMemberOfType = getTypeIfContainingType(methodContainer, leftUnderlyingType.Type, leftOperand) ?? 5392getTypeIfContainingType(methodContainer, rightUnderlyingType.Type, rightOperand) ?? methodContainer; 5410[new BoundExpressionWithNullability(leftOperand.Syntax, leftOperand, leftUnderlyingType.ToTypeWithAnnotations(compilation).NullableAnnotation, leftUnderlyingType.Type), 5411new BoundExpressionWithNullability(rightOperand.Syntax, rightOperand, rightUnderlyingType.ToTypeWithAnnotations(compilation).NullableAnnotation, rightUnderlyingType.Type)], 5853Debug.Assert(TypeSymbol.Equals(targetType.Type, rightResult.Type, TypeCompareKind.AllIgnoreOptions)); 5896var leftResultType = leftResult.Type; 5897var rightResultType = rightResult.Type; 5950Debug.Assert(conversionResult.Type is not null); 5951return (conversionResult.Type!, conversionResult.State); 6200refResultType = consequenceRValue.Type!.MergeEquivalentTypes(alternativeRValue.Type, VarianceKind.None); 6228resultType = alternativeRValue.Type; 6232resultType = consequenceRValue.Type; 6445var rvalueType = _currentConditionalReceiverVisitResult.RValueType.Type; 6628method = (MethodSymbol)AsMemberOfType(receiverType.Type, method); 6748isWellKnownEqualityMethodOrImplementation(compilation, method, receiverType.Type, WellKnownMember.System_Collections_Generic_IEqualityComparer_T__Equals)) 6759isWellKnownEqualityMethodOrImplementation(compilation, method, receiverType.Type, WellKnownMember.System_IEquatable_T__Equals))) 6977var type = receiverType.Type; 7074return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 7079return TypeWithState.Create(typeWithState.Type, NullableFlowState.MaybeDefault); 7826var argumentResultType = resultType.Type; 7911hasNoNonNullableCounterpart(valueState.Type) && 8093return TypeWithState.Create(typeWithState.Type, NullableFlowState.MaybeDefault); 8099return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 8114return TypeWithState.Create(typeWithState.Type, NullableFlowState.MaybeDefault); 8118return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 8133return TypeWithState.Create(typeWithState.Type, NullableFlowState.MaybeDefault); 8137return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 8383method = (MethodSymbol)AsMemberOfType(receiverType.Type, method); 8650return TypeWithState.Create(type.Type, state); 9467if (operandType.Type?.IsTupleType == true || conversionOperand.Kind == BoundKind.TupleLiteral) 9478conversion = GenerateConversion(_conversions, conversionOperand, operandType.Type, targetType, fromExplicitCast, extensionMethodThisArgument, isChecked: conversionOpt?.Checked ?? false); 9489if (AreNullableAndUnderlyingTypes(targetType, operandType.Type, out TypeWithAnnotations underlyingType)) 9504conversion = GenerateConversion(_conversions, conversionOperand, operandType.Type, targetType, fromExplicitCast, extensionMethodThisArgument, isChecked: conversionOpt?.Checked ?? false); 9512if (operandType.Type?.IsNullableType() == true && !targetType.IsNullableType()) 9546TrackNullableStateOfTupleConversion(conversionOpt, conversionOperand, conversion, targetType, operandType.Type, slot, valueSlot, assignmentKind, parameterOpt, reportWarnings: reportRemainingWarnings); 9556conversion = GenerateConversion(_conversions, conversionOperand, operandType.Type, targetType, fromExplicitCast, extensionMethodThisArgument, isChecked: conversionOpt?.Checked ?? false); 9574conversion = GenerateConversion(_conversions, conversionOperand, operandType.Type, targetType, fromExplicitCast, extensionMethodThisArgument, isChecked: conversionOpt?.Checked ?? false); 9584conversion = GenerateConversion(_conversions, conversionOperand, operandType.Type, targetType, fromExplicitCast, extensionMethodThisArgument, isChecked: conversionOpt?.Checked ?? false); 9608ReportNullabilityMismatchInArgument(getDiagnosticLocation(), operandType.Type, parameterOpt, targetType, forOutput: false); 9612ReportNullabilityMismatchInAssignment(getDiagnosticLocation(), GetTypeAsDiagnosticArgument(operandType.Type), targetType); 9653var type = operandType.Type; 9684var type = operandType.Type; 9885Debug.Assert(operandType.Type is object); 9893if (operandType.Type.IsNullableType() && !parameterType.IsNullableType()) 9895var underlyingOperandTypeWithAnnotations = operandType.Type.GetNullableUnderlyingTypeWithAnnotations(); 10033var type = typeWithState.Type; 10065Debug.Assert(operandType.Type is object); 10068var conversion = _conversions.ClassifyStandardConversion(operandType.Type, targetType.Type, ref discardedUseSiteInfo); 10073ReportNullabilityMismatchInArgument(diagnosticLocation, operandType.Type, parameterOpt, targetType.Type, forOutput: false); 10077ReportNullabilityMismatchInAssignment(diagnosticLocation, operandType.Type, targetType.Type); 10322method = (MethodSymbol)AsMemberOfType(receiverType.Type, method); 10695Debug.Assert(rightResult.Type is object); 10706deconstructMethod = (MethodSymbol)AsMemberOfType(rightResult.Type, deconstructMethod); 10850AreNullableAndUnderlyingTypes(lvalueType.Type, operandType.Type, out TypeWithAnnotations underlyingType)) 10985SetResultType(node, TypeWithState.Create(receiverType.Type, NullableFlowState.NotNull)); 10989SetResultType(node, TypeWithState.Create(results[0].RValueType.Type, GetState(ref State, extensionReceiverSlot))); 11009SetResultType(node, TypeWithState.Create(opType.Type, NullableFlowState.NotNull)); 11163SetResultType(node, TypeWithState.Create(receiverType.Type, NullableFlowState.NotNull)); 11167SetResultType(node, TypeWithState.Create(results[0].RValueType.Type, GetState(ref State, extensionReceiverSlot))); 11191SetResultType(node, TypeWithState.Create(opType.Type, NullableFlowState.NotNull)); 11396var receiverType = VisitRvalueWithState(receiverOpt).Type; 11474member = AsMemberOfType(receiverType.Type, member); 11488if (PossiblyNullableType(resultType.Type)) 11494resultType = TypeWithState.Create(resultType.Type, state); 11599var resultType = resultTypeWithState.Type; 11717getEnumeratorType = spanType.Construct(ImmutableArray.Create(convertedResult.Type!.TryGetInlineArrayElementField()!.TypeWithAnnotations)); 11721getEnumeratorType = convertedResult.Type; 11737var currentPropertyGetter = (MethodSymbol)AsMemberOfType(enumeratorReturnType.Type, enumeratorInfoOpt.CurrentPropertyGetter); 12017method = (MethodSymbol)AsMemberOfType(operandType.Type!.StrippedType(), method); 12031[new BoundExpressionWithNullability(operand.Syntax, operand, operandType.ToTypeWithAnnotations(compilation).NullableAnnotation, operandType.Type)], 12262var reinferredGetResult = _visitResult.RValueType.Type is NamedTypeSymbol taskAwaiterType 12507@event = (EventSymbol)AsMemberOfType(ResultType.Type, @event); 12616var resultTypeSymbol = resultType.Type; 12922Debug.Assert(ResultType is TypeWithState { Type: FunctionPointerTypeSymbol { }, State: NullableFlowState.NotNull });
FlowAnalysis\NullableWalker_Patterns.cs (2)
410Debug.Assert(isDerivedType(NominalSlotType(originalInputSlot), expressionTypeWithState.Type)); 411tempMap.Add(rootTemp, (originalInputSlot, expressionTypeWithState.Type));
Symbols\TypeWithState.cs (10)
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);