2 writes to RValueType
Microsoft.CodeAnalysis.CSharp (2)
FlowAnalysis\NullableWalker.cs (2)
132
RValueType
= rValueType;
147
RValueType
= TypeWithState.Create(type, state);
30 references to RValueType
Microsoft.CodeAnalysis.CSharp (30)
FlowAnalysis\NullableWalker.cs (30)
149
Debug.Assert(TypeSymbol.Equals(
RValueType
.Type, LValueType.Type, TypeCompareKind.ConsiderEverything));
167
return new VisitResult(
RValueType
, lvalueType, NestedVisitResults);
170
return new VisitResult(
RValueType
, lvalueType, StateForLambda);
177
return $"{{LValue: {LValueType.GetDebuggerDisplay()}, RValue: {
RValueType
.GetDebuggerDisplay()}}}";
318
get => _visitResult.
RValueType
;
369
Debug.Assert(TypeAllowsConditionalState(visitResult.
RValueType
.Type)
433
_analyzedNullabilityMapOpt[expr] = (new NullabilityInfo(result.LValueType.ToPublicAnnotation(), result.
RValueType
.State.ToPublicFlowState()),
436
expr.Type?.Equals(result.
RValueType
.Type, TypeCompareKind.AllIgnoreOptions) == true ? result.
RValueType
.Type : expr.Type);
591
Debug.Assert(AreCloseEnough(placeholder.Type, result.
RValueType
.Type));
4121
addArgumentResult.
RValueType
,
4409
var argumentTypes = argumentResults.SelectAsArray(ar => ar.
RValueType
);
4449
SetUnionValueStateFromConstructorArgument(arguments[0], argumentResults[0].
RValueType
, slot, valueProperty);
4854
Debug.Assert(TypeSymbol.Equals(containingType, receiverResult.
RValueType
.Type, TypeCompareKind.IgnoreNullableModifiersForReferenceTypes));
4912
Debug.Assert(TypeSymbol.Equals(containingType, receiverResult.
RValueType
.Type, TypeCompareKind.IgnoreNullableModifiersForReferenceTypes));
4918
TypeWithState.Create(containingType, receiverResult.
RValueType
.State),
6752
var rvalueType = _currentConditionalReceiverVisitResult.
RValueType
.Type;
7126
learnFromEqualsMethodArguments(arguments[0], results[0].
RValueType
, arguments[1], results[1].
RValueType
);
7137
learnFromEqualsMethodArguments(receiver, receiverType, arguments[0], results[0].
RValueType
);
7325
var valueFlowState = compareExchangeInfo.Results[valueIndex].
RValueType
.State;
7332
var locationFlowState = compareExchangeInfo.Results[locationIndex].
RValueType
.State;
7731
if (results[i].
RValueType
.IsNotNull || isExpandedParamsArgument)
7789
TrackAnalyzedNullabilityThroughConversionGroup(TypeWithState.Create(argument.Type, result.
RValueType
.State), argument as BoundConversion, argumentNoConversion);
8220
var resultType = result.
RValueType
;
8925
var argumentType = visitResult.
RValueType
.ToTypeWithAnnotations(compilation);
11763
SetResultType(node, TypeWithState.Create(results[0].
RValueType
.Type, GetState(ref State, extensionReceiverSlot)));
11956
SetResultType(node, TypeWithState.Create(results[0].
RValueType
.Type, GetState(ref State, extensionReceiverSlot)));
13114
var reinferredGetResult = (MethodSymbol)AsMemberOfType(_visitResult.
RValueType
.Type, awaitableInfo.GetResult);
13758
SetResult(node, result.
RValueType
, result.LValueType);