40 references to ToTypeWithState
Microsoft.CodeAnalysis.CSharp (40)
FlowAnalysis\NullableWalker.cs (37)
347SetResult(expression, resultType: type.ToTypeWithState(), lvalueType: type); 355SetResult(expression, LvalueResultType.ToTypeWithState(), LvalueResultType, isLvalue: true); 2057return localType.ToTypeWithState().State; 2590overridingType.ToTypeWithState(), 2802NullableFlowState value = isDefaultValue ? NullableFlowState.MaybeNull : fieldOrPropertyType.ToTypeWithState().State; 2957return ApplyUnconditionalAnnotations(GetTypeOrReturnTypeWithAnnotations(symbol).ToTypeWithState(), GetRValueAnnotations(symbol)).State; 3094return parameterType.ToTypeWithState(); 3258SetResult(node, GetAdjustedResult(type.ToTypeWithState(), slot), type); 3611var resultState = ApplyUnconditionalAnnotations(resultType.ToTypeWithState(), GetRValueAnnotations(withExpr.CloneMethod)); 3754valueType = type.ToTypeWithState(); 3762SetAnalyzedNullability(node.DeclaredTypeOpt, new VisitResult(type.ToTypeWithState(), type), true); 4228return ApplyUnconditionalAnnotations(createMethod.ReturnTypeWithAnnotations, annotations).ToTypeWithState().State; 4443TrackNullableStateOfNullableValue(slot, type, operand, underlyingType.ToTypeWithState(), valueSlot); 5289resultTypes[i] = walker.VisitConversion(conversionOpt: null, placeholder, conversion, bestTypeWithObliviousAnnotation, resultTypes[i].ToTypeWithState(), 5376SetResult(node, type.ToTypeWithState(), type); 9560TrackNullableStateOfNullableValue(targetFieldSlot, targetField.Type, null, valueField.TypeWithAnnotations.ToTypeWithState(), valueFieldSlot); 9573valueField.TypeWithAnnotations.ToTypeWithState(), 9593TypeWithState valueFieldType = ApplyUnconditionalAnnotations(valueField.TypeWithAnnotations.ToTypeWithState(), GetRValueAnnotations(valueField)); 9906TrackAnalyzedNullabilityThroughConversionGroup(targetTypeWithNullability.ToTypeWithState(), conversionOpt, conversionOperand); 10060TrackNullableStateOfNullableValue(containingSlot, targetType, conversionOperand, underlyingType.ToTypeWithState(), valueSlot); 10480underlyingOperandType = underlyingOperandTypeWithAnnotations.ToTypeWithState(); 10779NullableFlowState state = returnType.ToTypeWithState().State.Join(operandState); 10790return type.GetNullableUnderlyingTypeWithAnnotations().ToTypeWithState(); 10800returnType.ToTypeWithState(); 11285var rValueType = ApplyUnconditionalAnnotations(type.ToTypeWithState(), annotations); 11510parameter, parameter.TypeWithAnnotations, GetParameterAnnotations(parameter), new VisitResult(variable.Type.ToTypeWithState(), variable.Type), 11525new VisitResult(variable.Type.ToTypeWithState(), variable.Type), 12141TypeWithState typeWithState = ApplyUnconditionalAnnotations(typeWithAnnotations.ToTypeWithState(), memberAnnotations); 12184var resultType = ApplyUnconditionalAnnotations(indexer.TypeWithAnnotations.ToTypeWithState(), GetRValueAnnotations(indexer)); 12272var resultType = ApplyUnconditionalAnnotations(type.ToTypeWithState(), memberAnnotations); 12492currentPropertyGetterTypeWithState = arrayType.ElementTypeWithAnnotations.ToTypeWithState(); 12499TypeWithAnnotations.Create(enumeratorInfoOpt.ElementType, NullableAnnotation.NotAnnotated).ToTypeWithState(); 12536currentPropertyGetter.ReturnTypeWithAnnotations.ToTypeWithState(), 12617resultForType = destinationType.ToTypeWithState(); 13057SetResultType(node, reinferredGetResult.ReturnTypeWithAnnotations.ToTypeWithState()); 13662SetResult(node.Expression, typeWithAnnotations.ToTypeWithState(), typeWithAnnotations); 13779SetResult(node, returnTypeWithAnnotations.ToTypeWithState(), returnTypeWithAnnotations);
FlowAnalysis\NullableWalker_Patterns.cs (1)
506TrackNullableStateForAssignment(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();