36 references to ToTypeWithState
Microsoft.CodeAnalysis.CSharp (36)
FlowAnalysis\NullableWalker.cs (33)
328SetResult(expression, resultType: type.ToTypeWithState(), lvalueType: type); 336SetResult(expression, LvalueResultType.ToTypeWithState(), LvalueResultType, isLvalue: true); 2000return localType.ToTypeWithState().State; 2514overridingType.ToTypeWithState(), 2725NullableFlowState value = isDefaultValue ? NullableFlowState.MaybeNull : fieldOrPropertyType.ToTypeWithState().State; 2880return ApplyUnconditionalAnnotations(GetTypeOrReturnTypeWithAnnotations(symbol).ToTypeWithState(), GetRValueAnnotations(symbol)).State; 3017return parameterType.ToTypeWithState(); 3181SetResult(node, GetAdjustedResult(type.ToTypeWithState(), slot), type); 3534var resultState = ApplyUnconditionalAnnotations(resultType.ToTypeWithState(), GetRValueAnnotations(withExpr.CloneMethod)); 3652valueType = type.ToTypeWithState(); 3660SetAnalyzedNullability(node.DeclaredTypeOpt, new VisitResult(type.ToTypeWithState(), type), true); 3943return ApplyUnconditionalAnnotations(createMethod.ReturnTypeWithAnnotations, annotations).ToTypeWithState().State; 4152TrackNullableStateOfNullableValue(slot, type, operand, underlyingType.ToTypeWithState(), valueSlot); 4978SetResult(node, type.ToTypeWithState(), type); 8756TrackNullableStateOfNullableValue(targetFieldSlot, targetField.Type, null, valueField.TypeWithAnnotations.ToTypeWithState(), valueFieldSlot); 8769valueField.TypeWithAnnotations.ToTypeWithState(), 9044TrackAnalyzedNullabilityThroughConversionGroup(targetTypeWithNullability.ToTypeWithState(), conversionOpt, conversionOperand); 9163TrackNullableStateOfNullableValue(containingSlot, targetType, conversionOperand, underlyingType.ToTypeWithState(), valueSlot); 9554underlyingOperandType = underlyingOperandTypeWithAnnotations.ToTypeWithState(); 9683NullableFlowState state = returnType.ToTypeWithState().State.Join(operandState); 9694return type.GetNullableUnderlyingTypeWithAnnotations().ToTypeWithState(); 9704returnType.ToTypeWithState(); 10178var rValueType = ApplyUnconditionalAnnotations(type.ToTypeWithState(), annotations); 10658resultOfIncrementType = incrementOperator.ReturnTypeWithAnnotations.ToTypeWithState(); 10883var resultType = ApplyUnconditionalAnnotations(indexer.TypeWithAnnotations.ToTypeWithState(), GetRValueAnnotations(indexer)); 10955var resultType = ApplyUnconditionalAnnotations(type.ToTypeWithState(), memberAnnotations); 11161currentPropertyGetterTypeWithState = arrayType.ElementTypeWithAnnotations.ToTypeWithState(); 11168TypeWithAnnotations.Create(enumeratorInfoOpt.ElementType, NullableAnnotation.NotAnnotated).ToTypeWithState(); 11205currentPropertyGetter.ReturnTypeWithAnnotations.ToTypeWithState(), 11296resultForType = destinationType.ToTypeWithState(); 11627SetResultType(node, reinferredGetResult.ReturnTypeWithAnnotations.ToTypeWithState()); 12230SetResult(node.Expression, typeWithAnnotations.ToTypeWithState(), typeWithAnnotations); 12295SetResult(node, returnTypeWithAnnotations.ToTypeWithState(), returnTypeWithAnnotations);
FlowAnalysis\NullableWalker_Patterns.cs (1)
564TrackNullableStateForAssignment(valueOpt: null, type, outputSlot, type.ToTypeWithState());
Symbols\NullableAnnotationExtensions.cs (1)
104var flowState = TypeWithAnnotations.Create(type, annotation).ToTypeWithState().State;
Symbols\TypeWithState.cs (1)
58return typeWithAnnotations.ToTypeWithState();