2 writes to RValueType
Microsoft.CodeAnalysis.CSharp (2)
FlowAnalysis\NullableWalker.cs (2)
113RValueType = rValueType; 128RValueType = TypeWithState.Create(type, state);
25 references to RValueType
Microsoft.CodeAnalysis.CSharp (25)
FlowAnalysis\NullableWalker.cs (25)
130Debug.Assert(TypeSymbol.Equals(RValueType.Type, LValueType.Type, TypeCompareKind.ConsiderEverything)); 148return new VisitResult(RValueType, lvalueType, NestedVisitResults); 151return new VisitResult(RValueType, lvalueType, StateForLambda); 158return $"{{LValue: {LValueType.GetDebuggerDisplay()}, RValue: {RValueType.GetDebuggerDisplay()}}}"; 299get => _visitResult.RValueType; 350Debug.Assert(TypeAllowsConditionalState(visitResult.RValueType.Type) 408_analyzedNullabilityMapOpt[expr] = (new NullabilityInfo(result.LValueType.ToPublicAnnotation(), result.RValueType.State.ToPublicFlowState()), 411expr.Type?.Equals(result.RValueType.Type, TypeCompareKind.AllIgnoreOptions) == true ? result.RValueType.Type : expr.Type); 547Debug.Assert(AreCloseEnough(placeholder.Type, result.RValueType.Type)); 3920addArgumentResult.RValueType, 4542Debug.Assert(TypeSymbol.Equals(containingType, receiverResult.RValueType.Type, TypeCompareKind.IgnoreNullableModifiersForReferenceTypes)); 4600Debug.Assert(TypeSymbol.Equals(containingType, receiverResult.RValueType.Type, TypeCompareKind.IgnoreNullableModifiersForReferenceTypes)); 4606TypeWithState.Create(containingType, receiverResult.RValueType.State), 6376var rvalueType = _currentConditionalReceiverVisitResult.RValueType.Type; 6648learnFromEqualsMethodArguments(arguments[0], results[0].RValueType, arguments[1], results[1].RValueType); 6659learnFromEqualsMethodArguments(receiver, receiverType, arguments[0], results[0].RValueType); 6847var valueFlowState = compareExchangeInfo.Results[valueIndex].RValueType.State; 6854var locationFlowState = compareExchangeInfo.Results[locationIndex].RValueType.State; 7251if (results[i].RValueType.IsNotNull || isExpandedParamsArgument) 7308TrackAnalyzedNullabilityThroughConversionGroup(TypeWithState.Create(argument.Type, result.RValueType.State), argument as BoundConversion, argumentNoConversion); 7719var resultType = result.RValueType; 8347var argumentType = visitResult.RValueType.ToTypeWithAnnotations(compilation); 11934var reinferredGetResult = _visitResult.RValueType.Type is NamedTypeSymbol taskAwaiterType