32 references to ToTypeWithAnnotations
Microsoft.CodeAnalysis.CSharp (32)
Binder\Binder_Patterns.cs (1)
1358
var declType = TypeWithState.ForType(inputType).
ToTypeWithAnnotations
(Compilation);
FlowAnalysis\NullableWalker.cs (27)
304
SetResult(expression, resultType: type, lvalueType: type.
ToTypeWithAnnotations
(compilation), updateAnalyzedNullability: updateAnalyzedNullability);
309
SetAnalyzedNullability(expression, resultType: type, lvalueType: type.
ToTypeWithAnnotations
(compilation));
317
VisitResult visitResult = _visitResult.WithLValueType(ResultType.
ToTypeWithAnnotations
(compilation));
339
private void SetInvalidResult() => SetResult(expression: null, _invalidType, _invalidType.
ToTypeWithAnnotations
(compilation), updateAnalyzedNullability: false);
3080
_returnTypesOpt.Add((node, result.
ToTypeWithAnnotations
(compilation)));
3549
var resultType = ResultType.
ToTypeWithAnnotations
(compilation);
4632
var lvalueType = resultType.
ToTypeWithAnnotations
(compilation);
4824
placeholderBuilder.Add(CreatePlaceholderIfNecessary(expressionNoConversion, expressionType.
ToTypeWithAnnotations
(compilation)));
4853
inferredType = TypeWithState.Create(inferredType.Type, elementState).
ToTypeWithAnnotations
(compilation);
5285
SetResult(binary, inferredResult, inferredResult.
ToTypeWithAnnotations
(compilation));
5403
[new BoundExpressionWithNullability(leftOperand.Syntax, leftOperand, leftUnderlyingType.
ToTypeWithAnnotations
(compilation).NullableAnnotation, leftUnderlyingType.Type),
5404
new BoundExpressionWithNullability(rightOperand.Syntax, rightOperand, rightUnderlyingType.
ToTypeWithAnnotations
(compilation).NullableAnnotation, rightUnderlyingType.Type)],
6237
BoundExpression consequencePlaceholder = CreatePlaceholderIfNecessary(consequence, consequenceRValue.
ToTypeWithAnnotations
(compilation));
6238
BoundExpression alternativePlaceholder = CreatePlaceholderIfNecessary(alternative, alternativeRValue.
ToTypeWithAnnotations
(compilation));
8006
SetAnalyzedNullability(discard, new VisitResult(parameterWithState, parameterWithState.
ToTypeWithAnnotations
(compilation)), isLvalue: true);
8442
var argumentType = visitResult.RValueType.
ToTypeWithAnnotations
(compilation);
9988
var visitResult = new VisitResult(resultType, resultType.
ToTypeWithAnnotations
(compilation));
10318
arguments.Add(CreatePlaceholderIfNecessary(receiverOpt, receiverType.
ToTypeWithAnnotations
(compilation)));
10493
var lvalueType = rightState.
ToTypeWithAnnotations
(compilation);
10701
placeholderArgs.Add(CreatePlaceholderIfNecessary(right, rightResult.
ToTypeWithAnnotations
(compilation)));
10921
expr = CreatePlaceholderIfNecessary(expr, rightResult.
ToTypeWithAnnotations
(compilation));
11082
var operandTypeWithAnnotations = operandType.
ToTypeWithAnnotations
(compilation);
11613
targetTypeWithAnnotations = resultTypeWithState.
ToTypeWithAnnotations
(compilation);
11660
SetAnalyzedNullability(collectionExpression, new VisitResult(convertedResult, convertedResult.
ToTypeWithAnnotations
(compilation)));
11760
TypeWithAnnotations sourceType = sourceState.
ToTypeWithAnnotations
(compilation);
12007
[new BoundExpressionWithNullability(operand.Syntax, operand, operandType.
ToTypeWithAnnotations
(compilation).NullableAnnotation, operandType.Type)],
12640
new VisitResult(result, result.
ToTypeWithAnnotations
(compilation)),
FlowAnalysis\NullableWalker_Patterns.cs (3)
387
var expressionTypeWithAnnotations = expressionTypeWithState.
ToTypeWithAnnotations
(compilation);
684
var inferredType = value.
ToTypeWithAnnotations
(compilation, asAnnotatedType: boundLocal.DeclarationKind == BoundLocalDeclarationKind.WithInferredType);
942
placeholderBuilder.Add(CreatePlaceholderIfNecessary(expression, armType.
ToTypeWithAnnotations
(compilation)));
Symbols\TypeWithState.cs (1)
99
ToTypeWithAnnotations
(compilation, asAnnotatedType: true);