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); 2015return localType.ToTypeWithState().State; 2529overridingType.ToTypeWithState(), 2740NullableFlowState value = isDefaultValue ? NullableFlowState.MaybeNull : fieldOrPropertyType.ToTypeWithState().State; 2895return ApplyUnconditionalAnnotations(GetTypeOrReturnTypeWithAnnotations(symbol).ToTypeWithState(), GetRValueAnnotations(symbol)).State; 3032return parameterType.ToTypeWithState(); 3197SetResult(node, GetAdjustedResult(type.ToTypeWithState(), slot), type); 3550var resultState = ApplyUnconditionalAnnotations(resultType.ToTypeWithState(), GetRValueAnnotations(withExpr.CloneMethod)); 3668valueType = type.ToTypeWithState(); 3676SetAnalyzedNullability(node.DeclaredTypeOpt, new VisitResult(type.ToTypeWithState(), type), true); 3959return ApplyUnconditionalAnnotations(createMethod.ReturnTypeWithAnnotations, annotations).ToTypeWithState().State; 4168TrackNullableStateOfNullableValue(slot, type, operand, underlyingType.ToTypeWithState(), valueSlot); 4994SetResult(node, type.ToTypeWithState(), type); 8888TrackNullableStateOfNullableValue(targetFieldSlot, targetField.Type, null, valueField.TypeWithAnnotations.ToTypeWithState(), valueFieldSlot); 8901valueField.TypeWithAnnotations.ToTypeWithState(), 9174TrackAnalyzedNullabilityThroughConversionGroup(targetTypeWithNullability.ToTypeWithState(), conversionOpt, conversionOperand); 9293TrackNullableStateOfNullableValue(containingSlot, targetType, conversionOperand, underlyingType.ToTypeWithState(), valueSlot); 9684underlyingOperandType = underlyingOperandTypeWithAnnotations.ToTypeWithState(); 9813NullableFlowState state = returnType.ToTypeWithState().State.Join(operandState); 9824return type.GetNullableUnderlyingTypeWithAnnotations().ToTypeWithState(); 9834returnType.ToTypeWithState(); 10319var rValueType = ApplyUnconditionalAnnotations(type.ToTypeWithState(), annotations); 10810resultOfIncrementType = incrementOperator.ReturnTypeWithAnnotations.ToTypeWithState(); 11059var resultType = ApplyUnconditionalAnnotations(indexer.TypeWithAnnotations.ToTypeWithState(), GetRValueAnnotations(indexer)); 11132var resultType = ApplyUnconditionalAnnotations(type.ToTypeWithState(), memberAnnotations); 11338currentPropertyGetterTypeWithState = arrayType.ElementTypeWithAnnotations.ToTypeWithState(); 11345TypeWithAnnotations.Create(enumeratorInfoOpt.ElementType, NullableAnnotation.NotAnnotated).ToTypeWithState(); 11382currentPropertyGetter.ReturnTypeWithAnnotations.ToTypeWithState(), 11473resultForType = destinationType.ToTypeWithState(); 11804SetResultType(node, reinferredGetResult.ReturnTypeWithAnnotations.ToTypeWithState()); 12407SetResult(node.Expression, typeWithAnnotations.ToTypeWithState(), typeWithAnnotations); 12472SetResult(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();