2 writes to RValueType
Microsoft.CodeAnalysis.CSharp (2)
FlowAnalysis\NullableWalker.cs (2)
132RValueType = rValueType; 147RValueType = TypeWithState.Create(type, state);
28 references to RValueType
Microsoft.CodeAnalysis.CSharp (28)
FlowAnalysis\NullableWalker.cs (28)
149Debug.Assert(TypeSymbol.Equals(RValueType.Type, LValueType.Type, TypeCompareKind.ConsiderEverything)); 167return new VisitResult(RValueType, lvalueType, NestedVisitResults); 170return new VisitResult(RValueType, lvalueType, StateForLambda); 177return $"{{LValue: {LValueType.GetDebuggerDisplay()}, RValue: {RValueType.GetDebuggerDisplay()}}}"; 318get => _visitResult.RValueType; 369Debug.Assert(TypeAllowsConditionalState(visitResult.RValueType.Type) 433_analyzedNullabilityMapOpt[expr] = (new NullabilityInfo(result.LValueType.ToPublicAnnotation(), result.RValueType.State.ToPublicFlowState()), 436expr.Type?.Equals(result.RValueType.Type, TypeCompareKind.AllIgnoreOptions) == true ? result.RValueType.Type : expr.Type); 4170addArgumentResult.RValueType, 4459var argumentTypes = argumentResults.SelectAsArray(ar => ar.RValueType); 4509SetUnionValueStateFromConstructorArgument(arguments[0], argumentConversionResultsOpt[0].RValueType, slot, valueProperty); 4978Debug.Assert(TypeSymbol.Equals(containingType, receiverResult.RValueType.Type, TypeCompareKind.IgnoreNullableModifiersForReferenceTypes)); 4984TypeWithState.Create(containingType, receiverResult.RValueType.State), 6834var rvalueType = _currentConditionalReceiverVisitResult.RValueType.Type; 7208learnFromEqualsMethodArguments(arguments[0], results[0].RValueType, arguments[1], results[1].RValueType); 7219learnFromEqualsMethodArguments(receiver, receiverType, arguments[0], results[0].RValueType); 7407var valueFlowState = compareExchangeInfo.Results[valueIndex].RValueType.State; 7414var locationFlowState = compareExchangeInfo.Results[locationIndex].RValueType.State; 7822if (results[i].RValueType.IsNotNull || isExpandedParamsArgument) 7878TrackAnalyzedNullabilityThroughConversionGroup(TypeWithState.Create(argument.Type, result.RValueType.State), argument as BoundConversion, argumentNoConversion); 8309var resultType = result.RValueType; 9014var argumentType = visitResult.RValueType.ToTypeWithAnnotations(compilation); 11859SetResultType(node, TypeWithState.Create(results[0].RValueType.Type, GetState(ref State, extensionReceiverSlot))); 12052SetResultType(node, TypeWithState.Create(results[0].RValueType.Type, GetState(ref State, extensionReceiverSlot))); 13219var reinferredGetResult = (MethodSymbol)AsMemberOfType(_visitResult.RValueType.Type, awaitableInfo.GetResult); 13871SetResult(node, result.RValueType, result.LValueType);