4090public override ITypeSymbol? Type => null; 4145public override ITypeSymbol? Type => null; 4215public override ITypeSymbol? Type => null; 4321public override ITypeSymbol? Type => null; 4413public override ITypeSymbol? Type => null; 4525public override ITypeSymbol? Type => null; 4549public override ITypeSymbol? Type => null; 4602public override ITypeSymbol? Type => null; 4622public override ITypeSymbol? Type => null; 4636public override ITypeSymbol? Type => null; 4688public override ITypeSymbol? Type => null; 4752public override ITypeSymbol? Type => null; 4831public override ITypeSymbol? Type => null; 4899public override ITypeSymbol? Type => null; 4950public override ITypeSymbol? Type => null; 5014public override ITypeSymbol? Type => null; 5028public override ITypeSymbol? Type => null; 5042public override ITypeSymbol? Type => null; 5108public override ITypeSymbol? Type => null; 5126public override ITypeSymbol? Type { get; } 5186public override ITypeSymbol? Type { get; } 5259public override ITypeSymbol? Type { get; } 5326public override ITypeSymbol? Type { get; } 5348public override ITypeSymbol? Type { get; } 5367public override ITypeSymbol? Type { get; } 5432public override ITypeSymbol? Type { get; } 5488public override ITypeSymbol? Type { get; } 5557public override ITypeSymbol? Type { get; } 5611public override ITypeSymbol? Type { get; } 5674public override ITypeSymbol? Type { get; } 5752public override ITypeSymbol? Type { get; } 5829public override ITypeSymbol? Type { get; } 5896public override ITypeSymbol? Type { get; } 5949public override ITypeSymbol? Type => null; 6019public override ITypeSymbol? Type { get; } 6071public override ITypeSymbol? Type { get; } 6138public override ITypeSymbol? Type { get; } 6157public override ITypeSymbol? Type { get; } 6213public override ITypeSymbol? Type { get; } 6265public override ITypeSymbol? Type { get; } 6338public override ITypeSymbol? Type { get; } 6413public override ITypeSymbol? Type { get; } 6466public override ITypeSymbol? Type { get; } 6531public override ITypeSymbol? Type { get; } 6594public override ITypeSymbol? Type { get; } 6611public override ITypeSymbol? Type { get; } 6668public override ITypeSymbol? Type { get; } 6724public override ITypeSymbol? Type { get; } 6780public override ITypeSymbol? Type { get; } 6843public override ITypeSymbol? Type { get; } 6896public override ITypeSymbol? Type { get; } 6954public override ITypeSymbol? Type { get; } 7012public override ITypeSymbol? Type { get; } 7064public override ITypeSymbol? Type { get; } 7116public override ITypeSymbol? Type { get; } 7134public override ITypeSymbol? Type { get; } 7153public override ITypeSymbol? Type { get; } 7173public override ITypeSymbol? Type { get; } 7225public override ITypeSymbol? Type { get; } 7288public override ITypeSymbol? Type { get; } 7351public override ITypeSymbol? Type { get; } 7403public override ITypeSymbol? Type { get; } 7462public override ITypeSymbol? Type { get; } 7514public override ITypeSymbol? Type { get; } 7531public override ITypeSymbol? Type { get; } 7593public override ITypeSymbol? Type => null; 7640public override ITypeSymbol? Type => null; 7691public override ITypeSymbol? Type => null; 7742public override ITypeSymbol? Type => null; 7797public override ITypeSymbol? Type => null; 7865public override ITypeSymbol? Type => null; 7946public override ITypeSymbol? Type => null; 8007public override ITypeSymbol? Type => null; 8084public override ITypeSymbol? Type => null; 8158public override ITypeSymbol? Type => null; 8182public override ITypeSymbol? Type => null; 8245public override ITypeSymbol? Type => null; 8307public override ITypeSymbol? Type => null; 8360public override ITypeSymbol? Type => null; 8411public override ITypeSymbol? Type => null; 8467public override ITypeSymbol? Type => null; 8540public override ITypeSymbol? Type => null; 8602public override ITypeSymbol? Type => null; 8624public override ITypeSymbol? Type => null; 8689public override ITypeSymbol? Type { get; } 8756public override ITypeSymbol? Type => null; 8827public override ITypeSymbol? Type => null; 8846public override ITypeSymbol? Type { get; } 8899public override ITypeSymbol? Type => null; 8921public override ITypeSymbol? Type { get; } 8974public override ITypeSymbol? Type { get; } 8991public override ITypeSymbol? Type { get; } 9010public override ITypeSymbol? Type { get; } 9069public override ITypeSymbol? Type { get; } 9136public override ITypeSymbol? Type { get; } 9193public override ITypeSymbol? Type => null; 9259public override ITypeSymbol? Type => null; 9335public override ITypeSymbol? Type => null; 9349public override ITypeSymbol? Type => null; 9418public override ITypeSymbol? Type { get; } 9493public override ITypeSymbol? Type => null; 9555public override ITypeSymbol? Type => null; 9618public override ITypeSymbol? Type { get; } 9682public override ITypeSymbol? Type => null; 9734public override ITypeSymbol? Type { get; } 9753public override ITypeSymbol? Type { get; } 9815public override ITypeSymbol? Type => null; 9870public override ITypeSymbol? Type => null; 9921public override ITypeSymbol? Type => null; 9985public override ITypeSymbol? Type => null; 10003public override ITypeSymbol? Type => null; 10056public override ITypeSymbol? Type => null; 10121public override ITypeSymbol? Type { get; } 10188public override ITypeSymbol? Type { get; } 10250public override ITypeSymbol? Type => null; 10302public override ITypeSymbol? Type => null; 10322public override ITypeSymbol? Type => null; 10389public override ITypeSymbol? Type { get; } 10450public override ITypeSymbol? Type => null; 10503public override ITypeSymbol? Type => null; 10570public override ITypeSymbol? Type { get; } 10589public override ITypeSymbol? Type { get; } 10640public override ITypeSymbol? Type => null; 10703public override ITypeSymbol? Type { get; } 10776public override ITypeSymbol? Type { get; } 10832public override ITypeSymbol? Type => null; 10849public override ITypeSymbol? Type { get; }

75public abstract ITypeSymbol? Type { get; }

135public override ITypeSymbol? Type { get; } 169public override ITypeSymbol? Type => null;

107IInstanceReferenceOperation i => i.Type, 110IPropertyReferenceOperation o => o.Type, 115IObjectCreationOperation o => o.Type,

34invocation.Instance.Type; 43firstArg.Value.Type; 397IConstantPatternOperation constantPattern => constantPattern.Value.Type, 467=> operation.GetThrownException()?.Type;

378=> operation.Kind == OperationKind.Literal && operation.Type.IsNumericType(); 457notImplementedExceptionType.Equals(objectCreation.Type);

363operation.Value.Type.IsDelegateType()) 499Debug.Assert(operation.Type.IsDelegateType());

272var valueType = (operation as IIsPatternOperation)?.Value.Type?.SpecialType; 453var type = variableExpression.Type;

96if (operation.Type is not null) 202(operation.Type?.TypeKind == TypeKind.Enum || operation.Type?.SpecialType == SpecialType.System_Int32)) 523else if (operation.Type?.TypeKind == TypeKind.Enum && constantValue is int enumConstantValue) 530switch (operation.Type?.SpecialType)

130var returnType = operation.Type?.OriginalDefinition;

103static void HandleConstructor(OperationAnalysisContext context, IObjectCreationOperation op) => HandleSuspectType(context, (INamedTypeSymbol)op.Type!, op.Syntax.GetLocation());

366var t = invocationOp.Arguments[0].Value.Type!; 386parameters.Add(gen.ParameterDeclaration("exception", gen.TypeExpression(invocationOp.Arguments[details.ExceptionParamIndex].Value.Type!))); 394parameters.Add(gen.ParameterDeclaration(details.MessageArgs[index++], gen.TypeExpression(o.Type!))); 431invocationOp.Arguments[0].Value.Type! 436args.Add(invocationOp.Arguments[details.ExceptionParamIndex].Value.Type!); 443args.Add(a.Type!); 455args.Add(d.Type!);

34var type = op.Target.Type; 61var type = op.Value.Type;

72type = op.Operation.Type; 78type = op.Operation.Type;

120if (creationOp.Type != null) 122if (_state.ExceptionTypes.TryGetValue(creationOp.Type, out var handlers))

33if (creationOp?.Type != null) 40$"Microsoft.Shared.Diagnostics.Throws.{creationOp.Type.Name}"); 46if (creationOp.Type.Name == "ArgumentNullException")

36&& SymbolEqualityComparer.Default.Equals(wellKnownTypes.Get(WellKnownType.Microsoft_AspNetCore_Http_IHeaderDictionary), invocation.Instance?.Type))

33SymbolEqualityComparer.Default.Equals(parent.Type, wellKnownTypes.Get(WellKnownType.Microsoft_AspNetCore_Http_RequestDelegate))) 49SymbolEqualityComparer.Default.Equals(parent.Type, wellKnownTypes.Get(WellKnownType.Microsoft_AspNetCore_Http_RequestDelegate))) 59var returnType = resolvedOperation.Type;

113Instance.Type:

67var type = returnedValue.Type;

55IsAuthenticationStateProviderType(invocation.Instance.Type, authStateProviderType) && 67IsAuthenticationStateProviderType(eventRef.Instance?.Type, authStateProviderType) &&

162if (invocation.Instance?.Type is not null 163&& SymbolEqualityComparer.Default.Equals(invocation.Instance.Type, availableTypes[ComponentsApi.RenderTreeBuilder.MetadataName]) 198&& conversionOperation.Operand.Type is not null 199&& conversionOperation.Operand.Type.ContainingNamespace.ToString().StartsWith(ComponentsApi.AssemblyName, StringComparison.Ordinal))

92return invocation.Arguments[0].Value.Type; 96return invocation.Instance?.Type;

79var statementReturnType = returnedValue.Type; 184typeSymbol = assignmentOperation.Type; 217typeSymbol = operation.Type;

97!symbolCache.IActionResult.IsAssignableFrom(returnValue.Type))

1835/// Natural type can be different from <see cref="IOperation.Type" /> depending on the

1421return result ?? MakeInvalidOperation(originalOperation.Syntax, originalOperation.Type, ImmutableArray<IOperation>.Empty); 2114return PopStackFrame(frame, new SimpleAssignmentOperation(operation.IsRef, PopOperand(), value, null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation))); 2126syntax: operation.Syntax, type: operation.Type, isImplicit: IsImplicit(operation))); 2137operation.Syntax, operation.Type, IsImplicit(operation)); 2148operation.Syntax, operation.Type, IsImplicit(operation)); 2159operation.Syntax, operation.Type, IsImplicit(operation)); 2180if (ITypeSymbolHelpers.IsBooleanType(operation.Type) && 2181ITypeSymbolHelpers.IsBooleanType(operation.LeftOperand.Type) && 2182ITypeSymbolHelpers.IsBooleanType(operation.RightOperand.Type)) 2188ITypeSymbolHelpers.IsNullableOfBoolean(operation.Type) && 2189ITypeSymbolHelpers.IsNullableOfBoolean(operation.LeftOperand.Type) && 2190ITypeSymbolHelpers.IsNullableOfBoolean(operation.RightOperand.Type)) 2195else if (ITypeSymbolHelpers.IsObjectType(operation.Type) && 2196ITypeSymbolHelpers.IsObjectType(operation.LeftOperand.Type) && 2197ITypeSymbolHelpers.IsObjectType(operation.RightOperand.Type)) 2201else if (ITypeSymbolHelpers.IsDynamicType(operation.Type) && 2202(ITypeSymbolHelpers.IsDynamicType(operation.LeftOperand.Type) || 2203ITypeSymbolHelpers.IsDynamicType(operation.RightOperand.Type))) 2242semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation))); 2256semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 2268semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 2275ITypeSymbolHelpers.IsBooleanType(operation.Type) && 2276ITypeSymbolHelpers.IsBooleanType(operation.Operand.Type); 2412semanticModel: null, operand.Syntax, operand.Type, constantValue: null, isImplicit: true); 2461Debug.Assert(binOp.Type is not null); 2462return new ConversionOperation(condition, _compilation.ClassifyConvertibleConversion(condition, binOp.Type, out _), isTryCast: false, isChecked: false, 2463semanticModel: null, binOp.Syntax, binOp.Type, binOp.GetConstantValue(), isImplicit: true); 2475Debug.Assert(binOp.Type is not null); 2498if (ITypeSymbolHelpers.IsBooleanType(left.Type)) 2503else if (ITypeSymbolHelpers.IsDynamicType(left.Type) || unaryOperatorMethod != null) 2509(ITypeSymbolHelpers.IsNullableType(left.Type) || !ITypeSymbolHelpers.IsNullableType(unaryOperatorMethod.Parameters[0].Type)))) 2535if (!ITypeSymbolHelpers.IsDynamicType(left.Type)) 2537resultFromLeft = CreateConversion(resultFromLeft, binOp.Type); 2560binOp.Type, 2595if (ITypeSymbolHelpers.IsNullableType(left.Type)) 2650binOp.Type, 2704AddStatement(new FlowCaptureOperation(captureId, leftSyntax, new LiteralOperation(semanticModel: null, leftSyntax, condition.Type, constantValue, isImplicit: true))); 2714Debug.Assert(ITypeSymbolHelpers.IsBooleanType(condition.Type)); 2750lastUnary.Type, lastUnary.GetConstantValue(), IsImplicit(lastUnary)) 2753condition.Type, constantValue: null, isImplicit: true); 2763ITypeSymbolHelpers.IsBooleanType(binOp.Type) && 2764ITypeSymbolHelpers.IsBooleanType(binOp.LeftOperand.Type) && 2765ITypeSymbolHelpers.IsBooleanType(binOp.RightOperand.Type); 2876if (ITypeSymbolHelpers.IsBooleanType(condition.Type)) 2881if (ITypeSymbolHelpers.IsBooleanType(conditional.WhenTrue.Type) && 2882ITypeSymbolHelpers.IsBooleanType(conditional.WhenFalse.Type)) 2901if (ITypeSymbolHelpers.IsBooleanType(condition.Type)) 2905if (ITypeSymbolHelpers.IsBooleanType(coalesce.WhenNull.Type)) 2998ITypeSymbol? valueTypeOpt = operationValue.Type; 3018(!testConversion.IsIdentity || !ITypeSymbolHelpers.IsNullableType(operation.Type))) 3036isTryCast: false, isChecked: false, semanticModel: null, valueSyntax, operation.Type, 3044convertedTestExpression = MakeInvalidOperation(operation.Type, capturedValue); 3139if (operation.Target?.Type?.OriginalDefinition.SpecialType == SpecialType.System_Nullable_T && 3140((INamedTypeSymbol)operation.Target.Type!).TypeArguments[0].Equals(operation.Type)) 3242value: CreateConversion(whenNullValue, operation.Target.Type), 3245type: operation.Target.Type, 3278operation.Syntax, operation.Type, constantValue: operation.GetConstantValue(), isImplicit: true); 3340ITypeSymbol? valueType = value.Type; 3365Debug.Assert(ITypeSymbolHelpers.IsNullableType(value.Type)); 3367MakeInvalidOperation(ITypeSymbolHelpers.GetNullableUnderlyingType(value.Type), value); 3440if (ITypeSymbolHelpers.IsNullableType(operation.Type) && !ITypeSymbolHelpers.IsNullableType(currentConditionalAccess.WhenNotNull.Type)) 3444MakeNullable(access, operation.Type))); 3464Debug.Assert(operation.Type is not null); 3467new DefaultValueOperation(semanticModel: null, defaultValueSyntax, operation.Type, 3468(operation.Type.IsReferenceType && !ITypeSymbolHelpers.IsNullableType(operation.Type)) 3541ITypeSymbol? testExpressionType = testExpression.Type; 4038return resource.Type == null || resource.Type.Kind == SymbolKind.DynamicType; 4126Debug.Assert(resource.Type is not null); 4137Debug.Assert(!isNotNullableValueType(resource.Type)); 4142Debug.Assert(resource.Type is not null); 4145if (requiresRuntimeConversion || !isNotNullableValueType(resource.Type)) 4152if (!iDisposable.Equals(resource.Type) && disposeMethod is null) 4154if (resource.Type.IsReferenceType) 4158else if (ITypeSymbolHelpers.IsNullableType(resource.Type)) 4180((value.Type!.Equals(iDisposable) || (!value.Type.IsReferenceType && !ITypeSymbolHelpers.IsNullableType(value.Type))) && disposeArguments.IsDefaultOrEmpty)); 4234if (operation.LockedValue.Type?.IsWellKnownTypeLock() == true) 4236if (operation.LockedValue.Type.TryFindLockTypeInfo() is { } lockTypeInfo) 4328if (!objectType.Equals(lockedValue.Type)) 4598collection = new FlowCaptureReferenceOperation(localCopyCaptureId, operation.Collection.Syntax, collection.Type, constantValue: null); 4695operation.LoopControlVariable.Syntax, operation.LoopControlVariable.Type, 4701operation.LoopControlVariable.Type, 4766ITypeSymbol? stepEnumUnderlyingTypeOrSelf = ITypeSymbolHelpers.GetEnumUnderlyingTypeOrSelf(operation.StepValue.Type); 4931if (ITypeSymbolHelpers.IsNullableType(stepValue.Type)) 4937ITypeSymbol? stepValueEnumUnderlyingTypeOrSelf = ITypeSymbolHelpers.GetEnumUnderlyingTypeOrSelf(stepValue.Type); 4967IOperation literal = new LiteralOperation(semanticModel: null, stepValue.Syntax, stepValue.Type, 5160if (ITypeSymbolHelpers.IsNullableType(operation.LimitValue.Type)) 5268operation.StepValue.Type, 5283operand.Type, 5331bool isNullable = ITypeSymbolHelpers.IsNullableType(operation.StepValue.Type); 5372controlVariableReferenceForAssignment.Type, 5391Debug.Assert(ITypeSymbolHelpers.IsNullableType(controlVariableReferenceForIncrement.Type)); 5407controlVariableReferenceForIncrement.Type, 5415Debug.Assert(controlVariableReferenceForAssignment.Type != null); 5416increment = MakeNullable(increment, controlVariableReferenceForAssignment.Type); 5457return new FlowCaptureReferenceOperation(id, underlying.Syntax, underlying.Type, underlying.GetConstantValue()); 5564bool leftIsNullable = ITypeSymbolHelpers.IsNullableType(operation.Value.Type); 5565bool rightIsNullable = ITypeSymbolHelpers.IsNullableType(compareWith.Type); 5577if (leftOperand.Type != null) 5579Debug.Assert(compareWith.Type != null); 5580leftOperand = MakeNullable(leftOperand, compareWith.Type); 5583else if (!rightIsNullable && rightOperand.Type != null) 5585Debug.Assert(operation.Value.Type != null); 5586rightOperand = MakeNullable(rightOperand, operation.Value.Type); 5676Debug.Assert(ITypeSymbolHelpers.GetNullableUnderlyingType(type).Equals(operand.Type)); 5945operation.Type, IsImplicit(operation)); 5955operation.Type, IsImplicit(operation)); 5987IOperation initializedInstance = new NoPiaObjectCreationOperation(initializer: null, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 5999operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 6007var initializedInstance = new TypeParameterObjectCreationOperation(initializer: null, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 6021operation.Type, IsImplicit(operation)); 6108assignmentOperation.Type, assignmentOperation.GetConstantValue(), IsImplicit(assignmentOperation)); 6245fieldReference.Syntax, fieldReference.Type, fieldReference.GetConstantValue(), IsImplicit(fieldReference)); 6250eventReference.Type, IsImplicit(eventReference)); 6256propertyReference.Type, IsImplicit(propertyReference)); 6261return new ArrayElementReferenceOperation(instance, indices, semanticModel: null, originalTarget.Syntax, originalTarget.Type, IsImplicit(originalTarget)); 6268semanticModel: null, originalTarget.Syntax, originalTarget.Type, IsImplicit(originalTarget)); 6281dynamicReference.Type, IsImplicit(dynamicReference)); 6371return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 6377return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 6385operation.Syntax, operation.Type, IsImplicit(operation)); 6389Debug.Assert(operation.Type is not null); 6390_currentImplicitInstance = new ImplicitInstanceInfo((INamedTypeSymbol)operation.Type); 6410propertyReference.Instance.Syntax, propertyReference.Instance.Type, IsImplicit(propertyReference.Instance)); 6412semanticModel: null, propertyReference.Syntax, propertyReference.Type, IsImplicit(propertyReference)); 6415semanticModel: null, simpleAssignment.Syntax, simpleAssignment.Type, simpleAssignment.GetConstantValue(), IsImplicit(simpleAssignment)); 6429operation.Syntax, operation.Type, IsImplicit(operation)); 6503operation.Syntax, operation.Type, IsImplicit(operation)); 6604operation.Type, 6629return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 6634return new FlowCaptureReferenceOperation(_currentInterpolatedStringHandlerCreationContext.HandlerPlaceholder, operation.Syntax, operation.Type, operation.GetConstantValue()); 6637return new InstanceReferenceOperation(operation.ReferenceKind, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 6666dynamicMemberReference.ContainingType, semanticModel: null, dynamicMemberReference.Syntax, dynamicMemberReference.Type, IsImplicit(dynamicMemberReference)); 6675((HasDynamicArgumentsExpression)operation).ArgumentRefKinds, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 6686((HasDynamicArgumentsExpression)operation).ArgumentRefKinds, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 6692operation.ContainingType, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 6698return new DeconstructionAssignmentOperation(visitedTarget, visitedValue, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 6736return new TupleOperation(elementBuilder.ToImmutableAndFree(), tuple.NaturalType, semanticModel: null, tuple.Syntax, tuple.Type, IsImplicit(tuple)); 6746return new DeclarationExpressionOperation(VisitPreservingTupleOperations(operation.Expression), semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 6794return new NoneOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 6800new NoneOperation(VisitArray(((Operation)operation).ChildOperations.ToImmutableArray()), semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation))); 6876ConditionalBranch(new FlowCaptureReferenceOperation(outParameterFlowCapture, outParameterPlaceholder.Syntax, outParameterPlaceholder.Type, constantValue: null), jumpIfTrue: false, resultBlock); 6923return new FlowCaptureReferenceOperation(handlerCaptureId, operation.Syntax, operation.Type, operation.GetConstantValue()); 7004return new FlowCaptureReferenceOperation(_currentInterpolatedStringHandlerCreationContext.OutPlaceholder, operation.Syntax, operation.Type, operation.GetConstantValue(), isInitialization: true); 7018return new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), isImplicit: true); 7032return new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), isImplicit: true); 7119return new InterpolatedStringOperation(partsBuilder.ToImmutableAndFree(), semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7135return new LiteralOperation(semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7140return new LiteralOperation(semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7145return new Utf8StringOperation(operation.Value, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7151operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7157operation.Type, IsImplicit(operation)); 7164operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7171operation.Syntax, operation.Type, IsImplicit(operation)); 7191return MakeInvalidOperation(operation.Syntax, operation.Type, ImmutableArray<IOperation>.Empty); 7200operation.Syntax, operation.Type, IsImplicit(operation)); 7207operation.Syntax, operation.Type, IsImplicit(operation)); 7212return new TypeOfOperation(operation.TypeOperand, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7217return new ParenthesizedOperation(VisitRequired(operation.Operand), semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7222return new AwaitOperation(VisitRequired(operation.Operation), semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7227return new SizeOfOperation(operation.TypeOperand, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7237return new IsTypeOperation(VisitRequired(operation.ValueOperand), operation.TypeOperand, operation.IsNegated, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7316initializer.Syntax, rewrittenTarget.Type, constantValue: null, isImplicit: true); 7344semanticModel: null, operation.EventReference.Syntax, operation.EventReference.Type, IsImplicit(operation.EventReference)); 7357operation.Syntax, operation.Type, IsImplicit(operation)); 7390semanticModel: null, operation.EventReference.Syntax, operation.EventReference.Type, IsImplicit(operation.EventReference)); 7399return new AddressOfOperation(VisitRequired(operation.Reference), semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7406operation.Kind, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7411return new DiscardOperation(operation.DiscardSymbol, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7421return new OmittedArgumentOperation(semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7455return new PlaceholderOperation(operation.PlaceholderKind, semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7461return new CollectionExpressionElementsPlaceholderOperation(semanticModel: null, operation.Syntax, operation.Type, operation.IsImplicit); 7466return new ConversionOperation(VisitRequired(operation.Operand), ((ConversionOperation)operation).ConversionConvertible, operation.IsTryCast, operation.IsChecked, semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7471return new DefaultValueOperation(semanticModel: null, operation.Syntax, operation.Type, operation.GetConstantValue(), IsImplicit(operation)); 7482operation.Syntax, operation.Type, IsImplicit(operation)); 7514IOperation initializedInstance = new InvalidOperation(children.ToImmutableAndFree(), semanticModel: null, operation.Syntax, operation.Type, 7538return new InvalidOperation(ImmutableArray<IOperation>.Empty, semanticModel: null, invalidOperation.Syntax, invalidOperation.Type, invalidOperation.GetConstantValue(), IsImplicit(invalidOperation)); 7545invalidOperation.Syntax, invalidOperation.Type, invalidOperation.GetConstantValue(), IsImplicit(operation))); 7587return new TranslatedQueryOperation(VisitRequired(operation.Operation), semanticModel: null, operation.Syntax, operation.Type, IsImplicit(operation)); 7738operation.Syntax, operation.Type, IsImplicit(operation)); 7756return new RangeOperation(visitedLeftOperand, visitedRightOperand, operation.IsLifted, operation.Method, semanticModel: null, operation.Syntax, operation.Type, isImplicit: IsImplicit(operation)); 7959if (operation.Type!.IsAnonymousType) 7968if (operation.Type.IsValueType) 7975? MakeInvalidOperation(visitedInstance.Type, visitedInstance) 7978semanticModel: null, operation.Syntax, operation.Type, isImplicit: true); 8055operation.Operand.Type, constantValue: operation.Operand.GetConstantValue()); 8076operation.Operand.Type, constantValue: operation.Operand.GetConstantValue()); 8086operation.Operand.Type, constantValue: operation.Operand.GetConstantValue());

21return new NoneOperation(VisitArray(((Operation)operation).ChildOperations.ToImmutableArray()), ((Operation)operation).OwningSemanticModel, operation.Syntax, operation.Type, operation.GetConstantValue(), operation.IsImplicit); 32return new DynamicObjectCreationOperation(Visit(operation.Initializer), VisitArray(operation.Arguments), ((HasDynamicArgumentsExpression)operation).ArgumentNames, ((HasDynamicArgumentsExpression)operation).ArgumentRefKinds, ((Operation)operation).OwningSemanticModel, operation.Syntax, operation.Type, operation.IsImplicit); 37return new DynamicInvocationOperation(Visit(operation.Operation), VisitArray(operation.Arguments), ((HasDynamicArgumentsExpression)operation).ArgumentNames, ((HasDynamicArgumentsExpression)operation).ArgumentRefKinds, ((Operation)operation).OwningSemanticModel, operation.Syntax, operation.Type, operation.IsImplicit); 42return new DynamicIndexerAccessOperation(Visit(operation.Operation), VisitArray(operation.Arguments), ((HasDynamicArgumentsExpression)operation).ArgumentNames, ((HasDynamicArgumentsExpression)operation).ArgumentRefKinds, ((Operation)operation).OwningSemanticModel, operation.Syntax, operation.Type, operation.IsImplicit); 47return new InvalidOperation(VisitArray(((InvalidOperation)operation).Children), ((Operation)operation).OwningSemanticModel, operation.Syntax, operation.Type, operation.GetConstantValue(), operation.IsImplicit);

22return ((IFunctionPointerTypeSymbol)functionPointer.Target.Type!).Signature;

264if (objectCreation.Type is INamedTypeSymbol createdType && 276if (operation?.Type is object && IsSymbolType(operation.Type.OriginalDefinition, symbolType)) 296if (operation.Type is object && 297operation.Type.TypeKind == TypeKind.Class && 298operation.Type.SpecialType != SpecialType.System_Object) 323return conversion.Type?.SpecialType == SpecialType.System_Object;

232AddUsedNamedTypeCore(operation.Type, builder, ref hasAccessToTypeFromWorkspaceAssemblies);

154if (argument.Value.Type != null && 155argument.Value.Type.SpecialType == SpecialType.System_String &&

1206argument.Value.Type != null && 1207argument.Value.Type.SpecialType == SpecialType.System_String &&

95IObjectCreationOperation objectCreation when objectCreation.Type != null => 98(generator, args) => generator.ObjectCreationExpression(objectCreation.Type, args), iEqualityComparer, cancellationToken)

82if (conditionalAccess.Operation.Type!.OriginalDefinition.SpecialType == SpecialType.System_Nullable_T)

93VerifyType(context.ReportDiagnostic, objectCreation.Type, context.Operation.Syntax); 107VerifyType(context.ReportDiagnostic, arrayCreation.Type, context.Operation.Syntax); 111VerifyType(context.ReportDiagnostic, addressOf.Type, context.Operation.Syntax);

328return !operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null && o.Kind is not (OperationKind.Branch or OperationKind.Attribute)));

297AddCoupledNamedTypesCore(builder, operation.Type, context.WellKnownTypeProvider); 339(binaryOperation.Type.SpecialType == SpecialType.System_Boolean &&

34invocation.Instance.Type; 43firstArg.Value.Type; 397IConstantPatternOperation constantPattern => constantPattern.Value.Type, 467=> operation.GetThrownException()?.Type;

378=> operation.Kind == OperationKind.Literal && operation.Type.IsNumericType(); 457notImplementedExceptionType.Equals(objectCreation.Type);

363operation.Value.Type.IsDelegateType()) 499Debug.Assert(operation.Type.IsDelegateType());

272var valueType = (operation as IIsPatternOperation)?.Value.Type?.SpecialType; 453var type = variableExpression.Type;

187if (operation.Type == null) 194if (ValueContentAbstractValue.IsSupportedType(operation.Type, out var valueTypeSymbol)) 215operation.Type is INamedTypeSymbol namedType && 228return leftValue.MergeBinaryOperation(rightValue, operation.OperatorKind, operation.LeftOperand.Type, operation.RightOperand.Type, operation.Type); 238return targetValue.MergeBinaryOperation(assignedValue, operation.OperatorKind, targetType, assignedValueType, operation.Type); 246return targetValue.MergeBinaryOperation(incrementValue, operationKind, operation.Target.Type, incrementValueType, operation.Type); 294mergedValue = mergedValue.MergeBinaryOperation(newValue, BinaryOperatorKind.Add, leftType: operation.Type, rightType: operation.Type, resultType: operation.Type);

505if (arrayCreationOperation?.Type is IArrayTypeSymbol arrayTypeSymbol

275if (PointsToAnalysis.ShouldBeTracked(operation.Type, IsDisposable) && 282Debug.Assert(operation.Type == null || !operation.Type.IsNonNullableValueType() || defaultValue == PointsToAbstractValue.NoLocation); 760if (operation.Type == null || 770else if (operation.Type.IsNonNullableValueType()) 801AbstractLocation location = AbstractLocation.CreateAllocationLocation(operation, operation.Type!, DataFlowAnalysisContext); 827if (operation.Operand.Type == null) 832AbstractLocation location = AbstractLocation.CreateAllocationLocation(operation, operation.Operand.Type, DataFlowAnalysisContext); 844if (operation.Type.GetUnderlyingValueTupleTypeOrThis() is { } type) 862if (operation.Type is null) 865AbstractLocation location = AbstractLocation.CreateAllocationLocation(operation, operation.Type, DataFlowAnalysisContext); 886var pointsToAbstractValue = operation.Type != null 887? PointsToAbstractValue.Create(AbstractLocation.CreateAllocationLocation(operation, operation.Type, DataFlowAnalysisContext), mayBeNull: false) 923if (PointsToAnalysis.ShouldBeTracked(operation.Type, IsDisposable)) 930AbstractLocation location = AbstractLocation.CreateAllocationLocation(operation, operation.Type, DataFlowAnalysisContext); 1070NullAbstractValue nullState = GetNullStateBasedOnInstanceOrReferenceValue(referenceOrInstance, operation.Type, defaultValue.NullState); 1175PointsToAnalysis.ShouldBeTracked(operation.Value.Type, IsDisposable)) 1212if (inference.IsBoxing && operation.Type != null) 1215var location = AbstractLocation.CreateAllocationLocation(operation, operation.Type, DataFlowAnalysisContext); 1218else if (inference.IsUnboxing && operation.Type.IsNonNullableValueType())

150if (operation.Type == null || operation.Constructor == null) 153if (this.TrackedTypeSymbols.Any(s => operation.Type.GetBaseTypesAndThis().Contains(s))) 218if (operation.Target.Type == null) 224&& this.TrackedTypeSymbols.Any(s => operation.Target.Type.GetBaseTypesAndThis().Contains(s)) 284&& propertyReferenceOperation.Instance?.Type != null 285&& this.TrackedTypeSymbols.Any(s => propertyReferenceOperation.Instance.Type.GetBaseTypesAndThis().Contains(s)) 465if (visitedArgument.Value?.Type != null && this.TrackedTypeSymbols.Any(s => visitedArgument.Value.Type.GetBaseTypesAndThis().Contains(s))) 479if ((visitedInstance?.Type != null 480&& this.TrackedTypeSymbols.Any(s => visitedInstance.Type.GetBaseTypesAndThis().Contains(s)) 533ITypeSymbol? argumentTypeSymbol = value is IConversionOperation conversionOperation ? conversionOperation.Operand.Type : value.Type; 655if (returnValue?.Type != null 656&& this.TrackedTypeSymbols.Any(s => returnValue.Type.GetBaseTypesAndThis().Contains(s))

89var instanceType = creation.Type; 110if (disposedInstance == null || !IsDisposable(disposedInstance.Type))

328return !operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null && o.Kind is not (OperationKind.Branch or OperationKind.Attribute)));

297AddCoupledNamedTypesCore(builder, operation.Type, context.WellKnownTypeProvider); 339(binaryOperation.Type.SpecialType == SpecialType.System_Boolean &&

34invocation.Instance.Type; 43firstArg.Value.Type; 397IConstantPatternOperation constantPattern => constantPattern.Value.Type, 467=> operation.GetThrownException()?.Type;

605FlowConversionOperandValue(conversionInference, operation.Type))

161IsDisposable(operation.Type);

213if (propertyReferenceOperation.Instance?.Type is not INamedTypeSymbol namedType)

71if (operation.Value.Type != null)

77captureId: null, location: location, type: instanceReferenceOperation.Type!, parent: null, entityForInstanceLocation: null, isThisOrMeInstance: false)

136ITypeSymbol? type = operation.Type; 203analysisEntity = GetOrCreateForFlowCapture(flowCapture.Id, flowCapture.Value.Type, flowCapture, isLvalueFlowCapture); 232analysisEntity = GetOrCreateForFlowCapture(flowCaptureReference.Id, flowCaptureReference.Type, flowCaptureReference, flowCaptureReference.IsLValueFlowCaptureReference()); 333if (tupleOperation.Type?.IsTupleType != true || 339var tupleType = (INamedTypeSymbol)tupleOperation.Type; 457if (instance?.Type != null) 459if (instance.Type.IsValueType)

19targetType: operation.Type, 20sourceType: operation.Operand.Type, 26sourceType: operation.Value.Type,

727var thrownExceptionType = branch.BranchValue?.Type ?? CurrentBasicBlock.GetEnclosingRegionExceptionType(); 747if (branch.BranchValue.Type?.SpecialType == SpecialType.System_Boolean && 840!SymbolEqualityComparer.Default.Equals(method.ReturnType, returnValueOperation.Type)) 1237return TryInferConversion(operation.Operand, operation.Type, operation.IsTryCast, operation, out inference); 1253inference = ConversionInference.Create(targetType, sourceOperand.Type, isTryCast); 1697if (invocation.Type?.SpecialType != SpecialType.System_Boolean) 1856var leftType = operation.LeftOperand.Type; 1858var rightType = operation.RightOperand.Type; 1861operation.Type?.SpecialType == SpecialType.System_Boolean && 2027Debug.Assert(operation.Type!.HasValueCopySemantics()); 2046Debug.Assert(!operation.Type!.HasValueCopySemantics()); 2063if (operation == null || operation.Type == null || !HasPointsToAnalysisResult || !PessimisticAnalysis) 2068if (operation.Type.HasValueCopySemantics()) 2838var value = ComputeValueForCompoundAssignment(operation, targetValue, assignedValue, operation.Target.Type, operation.Value.Type); 2901var elementType = ((IArrayTypeSymbol)arrayCreation.Type!).ElementType; 3056return GetAbstractDefaultValue(operation.Type); 3113operation.Value.Type != null && 3114!operation.Value.Type.HasValueCopySemantics()) 3231operation.Type?.SpecialType == SpecialType.System_Boolean && 3702return GetAbstractDefaultValue(operation.Type); 3751if (operation.Type != null) 3753MergeAnalysisDataFromUnhandledThrowOperations(operation.Type);

378=> operation.Kind == OperationKind.Literal && operation.Type.IsNumericType(); 457notImplementedExceptionType.Equals(objectCreation.Type);

363operation.Value.Type.IsDelegateType()) 499Debug.Assert(operation.Type.IsDelegateType());

175if (value.Type == null || 176value.Type.IsErrorType() || 177value.Type.SpecialType == SpecialType.System_Void) 183if (value.Type.TypeKind == TypeKind.Dynamic) 327if (!operation.Type.IsDelegateType()) 357if (assignmentOperation.Target.Type.IsDelegateType() &&

123Equals(_method.ContainingType.BaseType, instanceReference.Type))

248return operation is { Type.IsValueType: true, Parent: IPropertyReferenceOperation }

58var type = value.Type;

26=> operation.Value.Type is null;

26=> operation.Value.Type is null;

19var switchExpressionType = switchExpression?.Type; 108var type = operation.Value.Type;

58var switchExpressionType = switchExpression?.Type; 185var type = operation.Value.Type;

85var leftType = leftOperand.Type; 86var rightType = rightOperand.Type;

63if (interpolation.Parent is IInterpolatedStringOperation { Parent: IConversionOperation { Type: { } convertedType } conversion } &&

138if (instance.Type is { IsRefLikeType: false } || IsRefLikeTypeAllowed(instance.Type)) 145instance.Type.Implements(systemIFormattable))

72!AreEqualOrHaveImplicitConversion(trueAssignment.Type, falseAssignment.Type, trueAssignment.SemanticModel!.Compilation)) 91if (nullCheckedExpression is { Type.IsValueType: true })

378=> operation.Kind == OperationKind.Literal && operation.Type.IsNumericType(); 457notImplementedExceptionType.Equals(objectCreation.Type);

363operation.Value.Type.IsDelegateType()) 499Debug.Assert(operation.Type.IsDelegateType());

38=> switchExpression.Value.Type ?? throw ExceptionUtilities.Unreachable();

60=> switchOperation.Value.Type ?? throw ExceptionUtilities.Unreachable();

194conversion.Type != null && 195conversion.Type.TypeKind != TypeKind.Error) 199if (conversion.Operand.Type == null || conversion.Operand.Type.TypeKind != TypeKind.Error) 201return (TExpressionSyntax)generator.CastExpression(conversion.Type, sourceSyntax);

272var valueType = (operation as IIsPatternOperation)?.Value.Type?.SpecialType; 453var type = variableExpression.Type;

2443ITypeSymbol? sourceType = source.Type;

465ITypeSymbol? assignmentType = target.Type;

83var syntaxNodeDerivingType = invocation.Arguments.GetArgumentForParameterAtIndex(1).Value.WalkDownConversion().Type;

107if (outerConversionOperation.Type is null || innerConversionOperation.Type is null || innerConversionOperation.Operand.Type is null) 110var typeToInsertCastFor = innerConversionOperation.Type.ToMinimalDisplayString(semanticModel, castExpression.SpanStart); 118$"({outerConversionOperation.Type.ToMinimalDisplayString(semanticModel, castExpression.SpanStart)})", 119innerConversionOperation.Operand.Type.ToMinimalDisplayString(semanticModel, castExpression.SpanStart),

256return instance is { Type.TypeKind: TypeKind.Struct } || 257instance is { Type: ITypeParameterSymbol { HasReferenceTypeConstraint: false } }; 333if (operation.Type.IsSpan()) 365if (conversion.IsInlineArray && conversionOperation.Type.IsSpan())

138if (operation?.Parent is IAssignmentOperation { Type.TypeKind: TypeKind.Dynamic })

105if (isTypeOperation.ValueOperand.Type is not null && 106isTypeOperation.ValueOperand.Type.InheritsFromOrEquals(isTypeOperation.TypeOperand))

139({ IsImplicit: true }, { IsImplicit: true }) when !Equals(leftTarget.Type, rightTarget.Type) => null,

246=> value.UnwrapImplicitConversion() is IObjectCreationOperation { Type.SpecialType: SpecialType.System_Object };

77if (arrayCreationOperation.Type is not IArrayTypeSymbol { ElementType.SpecialType: SpecialType.System_Byte })

97while (current is IConversionOperation { Type.SpecialType: SpecialType.System_Delegate or SpecialType.System_MulticastDelegate }) 100if (current is IConversionOperation { Type.SpecialType: SpecialType.System_Object }) 107if (current.Parent is IConversionOperation { Type: { } parentConversionType, IsImplicit: false } && 236conversionOperation.Type.RemoveNullableIfPresent() is var type1 && 237conversionOperation.Operand.Type.RemoveNullableIfPresent() is var type2 && 253if (originalDelegateCreationOperation.Type?.TypeKind != TypeKind.Delegate) 270if (rewrittenDelegateCreationOperation.Type?.TypeKind != TypeKind.Delegate) 274if (!Equals(originalDelegateCreationOperation.Type, rewrittenDelegateCreationOperation.Type)) 410var isAcceptableSpanConversion = originalConversionOperation.Type.IsSpan() && originalParentConversionOperation.Type.IsReadOnlySpan(); 570if (castNode.IsParentKind(SyntaxKind.Interpolation) && originalConversionOperation.Type?.SpecialType is SpecialType.System_Object) 808if (!IsSignedIntegralOrIntPtrType(originalConversionOperation.Type) || 809!IsSignedIntegralOrIntPtrType(originalConversionOperation.Operand.Type)) 835var originalConvertedType = originalConversionOperation.Type; 836var rewrittenBitwiseNotConversionType = rewrittenBitwiseNotConversionOperation.Type; 979if (castType.Equals(rewrittenOperation.Type, SymbolEqualityComparer.IncludeNullability)) 984castType.Equals(conditionalParentConversion.Type, SymbolEqualityComparer.IncludeNullability)) 1026if (!rewrittenConditionalConvertedType.Equals(conversionOperation.Type)) 1040if (conversionOperation.Type.IsSpanOrReadOnlySpan() && 1068if (binaryOperation.LeftOperand.Type?.SpecialType == SpecialType.System_Object && 1075else if (binaryOperation.RightOperand.Type?.SpecialType == SpecialType.System_Object && 1098if (conversionOperation.Operand.Type is not INamedTypeSymbol original)

224if (argumentOp is not { Value.Type: { } valueType, Parameter.Type: { } parameterType })

613IInstanceReferenceOperation thisReference => thisReference.Type,

64conversion.Type is INamedTypeSymbol { IsGenericType: true } namedType &&

107if (outerConversionOperation.Type is null || innerConversionOperation.Type is null || innerConversionOperation.Operand.Type is null) 110var typeToInsertCastFor = innerConversionOperation.Type.ToMinimalDisplayString(semanticModel, castExpression.SpanStart); 118$"({outerConversionOperation.Type.ToMinimalDisplayString(semanticModel, castExpression.SpanStart)})", 119innerConversionOperation.Operand.Type.ToMinimalDisplayString(semanticModel, castExpression.SpanStart),

256return instance is { Type.TypeKind: TypeKind.Struct } || 257instance is { Type: ITypeParameterSymbol { HasReferenceTypeConstraint: false } }; 333if (operation.Type.IsSpan()) 365if (conversion.IsInlineArray && conversionOperation.Type.IsSpan())

138if (operation?.Parent is IAssignmentOperation { Type.TypeKind: TypeKind.Dynamic })

105if (isTypeOperation.ValueOperand.Type is not null && 106isTypeOperation.ValueOperand.Type.InheritsFromOrEquals(isTypeOperation.TypeOperand))

139({ IsImplicit: true }, { IsImplicit: true }) when !Equals(leftTarget.Type, rightTarget.Type) => null,

246=> value.UnwrapImplicitConversion() is IObjectCreationOperation { Type.SpecialType: SpecialType.System_Object };

77if (arrayCreationOperation.Type is not IArrayTypeSymbol { ElementType.SpecialType: SpecialType.System_Byte })

613IInstanceReferenceOperation thisReference => thisReference.Type,

64conversion.Type is INamedTypeSymbol { IsGenericType: true } namedType &&

110if (operation.TargetMethod.Name == "StructureToPtr" && operation.Arguments[0].Value.Type!.IsUnmanagedType) 115(ExpressionSyntax)editor.Generator.CastExpression(editor.SemanticModel.Compilation.CreatePointerTypeSymbol(operation.Arguments[0].Value.Type!),

87if (operation.Type is IArrayTypeSymbol arrayType) 91else if (operation.Type is INamedTypeSymbol namedType)

22operation.Type?.SpecialType == SpecialType.System_String;

54if (typeInfo.ConvertedType.IsAssignableTo(conversionOperation.Type, invocationContext.SemanticModel.Compilation))

97while (current is IConversionOperation { Type.SpecialType: SpecialType.System_Delegate or SpecialType.System_MulticastDelegate }) 100if (current is IConversionOperation { Type.SpecialType: SpecialType.System_Object }) 107if (current.Parent is IConversionOperation { Type: { } parentConversionType, IsImplicit: false } && 236conversionOperation.Type.RemoveNullableIfPresent() is var type1 && 237conversionOperation.Operand.Type.RemoveNullableIfPresent() is var type2 && 253if (originalDelegateCreationOperation.Type?.TypeKind != TypeKind.Delegate) 270if (rewrittenDelegateCreationOperation.Type?.TypeKind != TypeKind.Delegate) 274if (!Equals(originalDelegateCreationOperation.Type, rewrittenDelegateCreationOperation.Type)) 410var isAcceptableSpanConversion = originalConversionOperation.Type.IsSpan() && originalParentConversionOperation.Type.IsReadOnlySpan(); 570if (castNode.IsParentKind(SyntaxKind.Interpolation) && originalConversionOperation.Type?.SpecialType is SpecialType.System_Object) 808if (!IsSignedIntegralOrIntPtrType(originalConversionOperation.Type) || 809!IsSignedIntegralOrIntPtrType(originalConversionOperation.Operand.Type)) 835var originalConvertedType = originalConversionOperation.Type; 836var rewrittenBitwiseNotConversionType = rewrittenBitwiseNotConversionOperation.Type; 979if (castType.Equals(rewrittenOperation.Type, SymbolEqualityComparer.IncludeNullability)) 984castType.Equals(conditionalParentConversion.Type, SymbolEqualityComparer.IncludeNullability)) 1026if (!rewrittenConditionalConvertedType.Equals(conversionOperation.Type)) 1040if (conversionOperation.Type.IsSpanOrReadOnlySpan() && 1068if (binaryOperation.LeftOperand.Type?.SpecialType == SpecialType.System_Object && 1075else if (binaryOperation.RightOperand.Type?.SpecialType == SpecialType.System_Object && 1098if (conversionOperation.Operand.Type is not INamedTypeSymbol original)

224if (argumentOp is not { Value.Type: { } valueType, Parameter.Type: { } parameterType })

207var collectionType = foreachCollection.Type;

467_switchTargetType = operation.Type;

323} && value.Type.IsNumericType())

177var parentType = parentOperation?.Type;

175if (value.Type == null || 176value.Type.IsErrorType() || 177value.Type.SpecialType == SpecialType.System_Void) 183if (value.Type.TypeKind == TypeKind.Dynamic) 327if (!operation.Type.IsDelegateType()) 357if (assignmentOperation.Target.Type.IsDelegateType() &&

123Equals(_method.ContainingType.BaseType, instanceReference.Type))

248return operation is { Type.IsValueType: true, Parent: IPropertyReferenceOperation }

58var type = value.Type;

26=> operation.Value.Type is null;

26=> operation.Value.Type is null;

19var switchExpressionType = switchExpression?.Type; 108var type = operation.Value.Type;

58var switchExpressionType = switchExpression?.Type; 185var type = operation.Value.Type;

85var leftType = leftOperand.Type; 86var rightType = rightOperand.Type;

63if (interpolation.Parent is IInterpolatedStringOperation { Parent: IConversionOperation { Type: { } convertedType } conversion } &&

138if (instance.Type is { IsRefLikeType: false } || IsRefLikeTypeAllowed(instance.Type)) 145instance.Type.Implements(systemIFormattable))

72!AreEqualOrHaveImplicitConversion(trueAssignment.Type, falseAssignment.Type, trueAssignment.SemanticModel!.Compilation)) 91if (nullCheckedExpression is { Type.IsValueType: true })

38=> switchExpression.Value.Type ?? throw ExceptionUtilities.Unreachable();

60=> switchOperation.Value.Type ?? throw ExceptionUtilities.Unreachable();

194conversion.Type != null && 195conversion.Type.TypeKind != TypeKind.Error) 199if (conversion.Operand.Type == null || conversion.Operand.Type.TypeKind != TypeKind.Error) 201return (TExpressionSyntax)generator.CastExpression(conversion.Type, sourceSyntax);

155if (literalOperation.Type is null) 160return AddOperationAsync(literalOperation, literalOperation.Type, cancellationToken);

97if (context.Operation is IForEachLoopOperation { IsAsynchronous: true, Collection.Type: not null } forEachOperation) 99var collectionTypeOriginalDefinition = forEachOperation.Collection.Type.OriginalDefinition; 114ITypeSymbol? typeOfAwaitedExpression = awaitExpression.Operation.Type;

477!type.Equals(invocationExpression.Instance.Type)) 621if (!_type.Equals(conversion.Operand.Type)) 712return methodSymbol.IsFinalizer() && Equals(receiver.Type?.OriginalDefinition, _type.BaseType.OriginalDefinition);

208operation.Type?.SpecialType == SpecialType.System_Boolean)

83if (context.Operation.Type is INamedTypeSymbol namedType && namedType.ContainingAssembly.Equals(context.ContainingSymbol.ContainingAssembly)) 136var constructedClass = (INamedTypeSymbol?)expr.Type;

94SymbolEqualityComparer.Default.Equals(invocation.Type, invocation.Arguments[0].Parameter?.Type) && 95SymbolEqualityComparer.Default.Equals(invocation.Type, invocation.Arguments[1].Parameter?.Type) && 102SymbolEqualityComparer.Default.Equals(invocation.Type, invocation.Arguments[0].Parameter?.Type) && 110SymbolEqualityComparer.Default.Equals(invocation.Type, invocation.Arguments[0].Parameter?.Type);

59|| argument.Value.Type?.SpecialType != SpecialType.System_String

57if (operationTarget.Instance?.Type?.IsReferenceType != true)

256if (IsDeferredType(operation.Type?.OriginalDefinition, wellKnownSymbolsInfo.AdditionalDeferredTypes)

86if (assignedValueOperation is null || !IsDeferredType(assignedValueOperation.Type?.OriginalDefinition, _wellKnownSymbolsInfo.AdditionalDeferredTypes)) 206&& IsDeferredType(invocationCreationOperation.Type?.OriginalDefinition, _wellKnownSymbolsInfo.AdditionalDeferredTypes)) 356if (!IsDeferredType(operation.Type?.OriginalDefinition, _wellKnownSymbolsInfo.AdditionalDeferredTypes))

88&& IsDeferredType(conversionOperation.Operand.Type?.OriginalDefinition, wellKnownSymbolsInfo.AdditionalDeferredTypes) 89&& IsDeferredType(conversionOperation.Type?.OriginalDefinition, wellKnownSymbolsInfo.AdditionalDeferredTypes); 99if (!IsDeferredType(operation.Type?.OriginalDefinition, wellKnownSymbolsInfo.AdditionalDeferredTypes)) 179|| !IsDeferredType(invocationOperation.Instance.Type?.OriginalDefinition, wellKnownSymbolsInfo.AdditionalDeferredTypes)) 230!IsDeferredType(argumentOperation.Value.Type?.OriginalDefinition, wellKnownSymbolsInfo.AdditionalDeferredTypes)) 293!IsDeferredType(argumentOperationToCheck.Value.Type?.OriginalDefinition, wellKnownSymbolsInfo.AdditionalDeferredTypes)) 342|| !IsDeferredType(invocationOperation.Instance.Type?.OriginalDefinition, wellKnownSymbolsInfo.AdditionalDeferredTypes)

102if (value.Type != null && value.Type.IsReferenceTypeOrNullableValueType() != type.IsReferenceTypeOrNullableValueType())

198return op.Type?.ToString() == WellKnownTypeNames.SystemThreadingTasksTask || 199op.Type?.BaseType?.ToString() == WellKnownTypeNames.SystemThreadingTasksTask;

123if (IsMultiDimensionalArray(arrayCreationExpression.Type)) 125context.ReportDiagnostic(arrayCreationExpression.Syntax.CreateDiagnostic(BodyRule, context.ContainingSymbol.Name, arrayCreationExpression.Type));

94fieldInitializerValue.Type is { } fieldInitializerType &&

213argumentValue.Type == null) 218if (argumentValue.Type.SpecialType != SpecialType.System_String || !argumentValue.ConstantValue.HasValue)

75if (conversion.Operand.Type is INamedTypeSymbol { TypeKind: TypeKind.Delegate } delegateType) 85if (argumentValue.Type is INamedTypeSymbol { TypeKind: TypeKind.Delegate } delegateType)

93"StructureToPtr" => invocation.Arguments.Length > 0 && invocation.Arguments.GetArgumentForParameterAtIndex(0).Value is { Type.IsUnmanagedType: true }, 94"PtrToStructure" => invocation.Type is not null,

394Debug.Assert(operation.Type!.Equals(osPlatformType)); 1443creation.Type.DerivesFrom(notSupportedExceptionType, baseTypesOnly: true, checkTypeParameterConstraints: false))

74if (literal.Type?.SpecialType == SpecialType.System_String && 95else if (literal.Type?.SpecialType == SpecialType.System_Int32) 118if (argumentValue.Type?.Equals(osPlatformType) != true)

140if (operation is IObjectCreationOperation { Type.IsReferenceType: true }) 247conversionOperation.Type?.IsReferenceType is true && 248conversionOperation.Operand.Type?.IsValueType is true; 355.FirstOrDefault(a => a.Value.Type?.Name.Equals("LogLevel", StringComparison.Ordinal) ?? false);

277if (IsSpanType(argument.Value.Type, spanType, readOnlySpanType))

151CaptureVariableDeclaratorOperation(dataCollector, objectCreationOperation.Type!, variableInitializerOperation); 223ReportChainedComputeHashInvocationOperation(chainObjectCreationOperation.Type); 393public bool IsObjectCreationInheritingHashAlgorithm(IObjectCreationOperation objectCreationOperation) => objectCreationOperation.Type.Inherits(_hashAlgorithmBaseType);

162if (invocation.Type is INamedTypeSymbol invocationResultType && 188if (propRef.Type is INamedTypeSymbol resultType && 257if (invocation.Instance?.Type is not INamedTypeSymbol instanceType) 396if (assignment.Target.Type is INamedTypeSymbol targetType)

363if (invocation.Instance == null || invocation.Instance.Type == null) 368if (!invocation.Instance.Type.Equals(stringType))

118containingType = elementReference.ArrayReference.Type!; 141containingType = enumerator.Current.Type!; 176var targetType = conversionOperation.Type?.OriginalDefinition; 207rangeOperation.Type!.ToDisplayString(SymbolDisplayFormat.CSharpErrorMessageFormat),

147if (operation.Type?.SpecialType != SpecialType.System_String)

381if (localRef.Type != null) 384set.Add(localRef.Type); 437if (op.Type != null) 439values.Add(op.Type); 453else if (op.Type != null) 455values.Add(op.Type); 514if (op.Type != null) 516values.Add(op.Type); 536if (arrayOp.Type != null) 538values.Add(arrayOp.Type); 707=> target.Type == null || (!target.Type.IsSealed && !target.Type.IsValueType);

726switch (operation?.Type?.SpecialType)

303IsByteOrCharSZArray(arrayCreation.Type) && 309if (operation.Type is { SpecialType: SpecialType.System_String } && 344if (operation.Type is not { SpecialType: SpecialType.System_Byte }) 352if (operation.Type is not { SpecialType: SpecialType.System_Char } ||

92if (argumentOperation.Type.IsNullableValueType()) 126return SymbolEqualityComparer.Default.Equals(value.Type, type); 132return SymbolEqualityComparer.Default.Equals(defaultValue.Type, type); 137return objectCreation.Type?.IsValueType == true 141&& SymbolEqualityComparer.Default.Equals(value.Type, type);

168if (argument.Value.Type == null) 171if (argument.Value.Type.Equals(stringComparisonType) && 187else if (argument.Value.Type.Equals(cultureInfoType) &&

67return argument?.Value.Type != null && argument.Value.Type.SpecialType == SpecialType.System_Int32;

67|| (argumentOperation.Parent is IObjectCreationOperation objectCreation && objectCreation.Type.Inherits(attributeType)))

83generator.TypeExpression(arrayArgument.Type), 191return ((IArrayTypeSymbol)arrayCreationOperation.Type!).ElementType.OriginalDefinition.Name.ToLowerInvariant() + "Array";

63if (conditional.Type is not null) 576return leftInstance.Type is { IsValueType: false } && 577rightInstance.Type is { IsValueType: false };

198return first.Type?.Equals(second.Type) == true;

94IArrayTypeSymbol countArgumentArrayTypeSymbol = (IArrayTypeSymbol)lengthPropertyArgument.Instance!.Type!;

821IDelegateCreationOperation dOperation => dOperation.Type, 835ISymbol? ret = operation.Type;

114if (operation?.Type is null) 121return (operation.Type as IArrayTypeSymbol)?.ElementType; 124if (operation.Type.OriginalDefinition.SpecialType == SpecialType.System_Collections_Generic_IEnumerable_T) 126return GetIEnumerableTParam(operation.Type); 130foreach (var t in operation.Type.AllInterfaces)

87if (operation.Type is ITypeSymbol type && TypeHasWeakIdentity(type, context.Compilation))

121if (val.Type?.IsValueType == true) 126val.Type.ToDisplayString(SymbolDisplayFormat.CSharpErrorMessageFormat)));

100var paramsArrayType = invocation.Arguments.SingleOrDefault(a => a.ArgumentKind == ArgumentKind.ParamArray)?.Value.Type as IArrayTypeSymbol;

92if (!creation.Type.Inherits(argumentExceptionType) || !MatchesConfiguredVisibility(owningSymbol, context) || !HasParameterNameConstructor(creation.Type)) 102context.ReportDiagnostic(context.Operation.Syntax.CreateDiagnostic(RuleNoArguments, creation.Type.Name)); 158return context.Operation.CreateDiagnostic(RuleIncorrectMessage, dictBuilder.ToImmutable(), targetSymbol.Name, stringArgument, parameter.Name, creation.Type!.Name); 166return context.Operation.CreateDiagnostic(RuleIncorrectParameterName, targetSymbol.Name, stringArgument, parameter.Name, creation.Type!.Name);

84newCreation = editor.Generator.ObjectCreationExpression(creation.Type, creation.Arguments[1].Syntax, parameter); 88newCreation = editor.Generator.ObjectCreationExpression(creation.Type, parameter, creation.Arguments[0].Syntax); 96newCreation = editor.Generator.ObjectCreationExpression(creation.Type, creation.Arguments[1].Syntax, parameter, creation.Arguments[2].Syntax); 100newCreation = editor.Generator.ObjectCreationExpression(creation.Type, parameter, creation.Arguments[1].Syntax, creation.Arguments[0].Syntax); 112SyntaxNode newCreation = editor.Generator.ObjectCreationExpression(creation.Type, editor.Generator.Argument(editor.Generator.NullLiteralExpression()), argument);

189allOverloads = model.LookupSymbols(location, instance.Type, method.Name).OfType<IMethodSymbol>(); 190if (instance.Type.DerivesFrom(enclosingType, baseTypesOnly: true) || instance is IInstanceReferenceOperation)

100if (indexOfMethodArguments[0].Value.Type?.SpecialType is SpecialType.System_String or SpecialType.System_Char)

120toStringInvoke.Type?.SpecialType == SpecialType.System_String && 139objectCreation.Type?.SpecialType == SpecialType.System_String && 141objectCreation.Arguments[0].Value?.Type?.SpecialType == SpecialType.System_Char && 142objectCreation.Arguments[1].Value?.Type?.SpecialType == SpecialType.System_Int32 &&

83if ((binaryOperation.LeftOperand.Type?.SpecialType == SpecialType.System_IntPtr || 84binaryOperation.LeftOperand.Type?.SpecialType == SpecialType.System_UIntPtr) && 100if (IsIntPtrToOrFromPtrConversion(explicitConversion.Type, explicitConversion.Operand.Type) && 104PopulateConversionString(explicitConversion.Type, explicitConversion.Operand.Type))); 106else if (IsIntPtrToOrFromPtrConversion(explicitConversion.Operand.Type, explicitConversion.Type) && 110PopulateConversionString(explicitConversion.Type, explicitConversion.Operand.Type))); 115if ((IsLongToIntPtrConversion(explicitConversion.Type, explicitConversion.Operand.Type) || 116IsULongToUIntPtrConversion(explicitConversion.Type, explicitConversion.Operand.Type)) && 120PopulateConversionString(explicitConversion.Type, explicitConversion.Operand.Type))); 122else if ((IsIntPtrToIntConversion(explicitConversion.Type, explicitConversion.Operand.Type) || 123IsUIntPtrToUIntConversion(explicitConversion.Type, explicitConversion.Operand.Type)) && 127PopulateConversionString(explicitConversion.Type, explicitConversion.Operand.Type))); 165conversion.Operand.Type?.SpecialType == SpecialType.System_Int32;

72if (!Equals(formatStringArgument.Value.Type, formatInfo.String) ||

108if (binaryOperation.LeftOperand.Type?.SpecialType != SpecialType.System_String || 109binaryOperation.RightOperand.Type?.SpecialType != SpecialType.System_String)

187if (SymbolEqualityComparer.Default.Equals(objectCreationOperation.Type, ane)) 191nullCheckParameter.Type!.IsReferenceType && 205if (SymbolEqualityComparer.Default.Equals(objectCreationOperation.Type, ae)) 230if (SymbolEqualityComparer.Default.Equals(objectCreationOperation.Type, aoore)) 269p.Type.IsNullableValueType() || 270p.Type?.TypeKind == TypeKind.Enum; 277if (SymbolEqualityComparer.Default.Equals(objectCreationOperation.Type, ode)) 348if (SymbolEqualityComparer.Default.Equals(objectCreationOperation.Type, ae)) 438parameterReferenceOperation.Type?.SpecialType == SpecialType.System_String &&

86switch (value.Type?.SpecialType) 155if (conversion.Type?.SpecialType is SpecialType.System_Object) 167if (conversion.Type?.SpecialType is SpecialType.System_Object or SpecialType.System_String)

139else if (value.Type?.SpecialType == SpecialType.System_Char &&

93if (!(((invocationOperation.Instance?.Type?.DerivesFrom(binaryFormatterTypeSymbol) == true 95|| (invocationOperation.Instance?.Type?.DerivesFrom(netDataContractSerializerTypeSymbol) == true 97|| (invocationOperation.Instance?.Type?.DerivesFrom(objectStateFormatterTypeSymbol) == true 99|| (invocationOperation.Instance?.Type?.DerivesFrom(soapFormatterTypeSymbol) == true 107ITypeSymbol? deserializedType = conversionOperation.Type; 110if (invocationOperation.Instance?.Type?.DerivesFrom(netDataContractSerializerTypeSymbol) == true)

155if (invocationOperation.Instance?.Type?.DerivesFrom(javaScriptSerializerTypeSymbol) == true) 164(javaScriptConversionOperation.Type!, (IOperation)javaScriptConversionOperation) 207else if ((invocationOperation.Instance?.Type.DerivesFrom(jsonNetJsonSerializerTypeSymbol) == true 236(conversionOperation.Type!, (IOperation)conversionOperation) 254if (objectCreationOperation?.Type?.Equals(dataContractSerializerTypeSymbol) == true 255|| objectCreationOperation?.Type?.Equals(dataContractJsonSerializerTypeSymbol) == true) 265else if (objectCreationOperation?.Type?.Equals(xmlSerializerTypeSymbol) == true)

76microsoftIdentityModelTokensAudienceValidatorTypeSymbol.Equals(delegateCreationOperation.Type)) 81microsoftIdentityModelTokensLifetimeValidatorTypeSymbol.Equals(delegateCreationOperation.Type)) 131delegateCreationOperation.Type.Name));

68if (systemNetSecurityRemoteCertificateValidationCallbackTypeSymbol.Equals(delegateCreationOperation.Type))

167if (objectCreationOperation.Type?.GetBaseTypesAndThis().Contains(httpClientTypeSymbol) == true)

143if (x509TypeSymbol.Equals(invocationOperation.Instance?.Type) &&

118if (!securityProtocolTypeTypeSymbol.Equals(assignmentOperation.Target.Type)

95var typeSymbol = returnOperation.ReturnedValue?.Type;

177if ((javaScriptSerializerSymbol.Equals(invocationOperation.Instance?.Type) 195if (javaScriptSerializerSymbol.Equals(methodReferenceOperation.Instance?.Type)

175if (jsonSerializerSymbol.Equals(objectCreationOperation.Type))

89if (invocationOperation.Instance?.Type?.DerivesFrom(deserializerTypeSymbol) == true 111if (methodReferenceOperation.Instance?.Type?.DerivesFrom(deserializerTypeSymbol) == true

127if (deserializerTypeSymbol.Equals(creationOperation.Type)) 142if (Equals(invocationOperation.Instance?.Type, deserializerTypeSymbol) 158if (Equals(methodReferenceOperation.Instance?.Type, deserializerTypeSymbol)

190if (jsonSerializerSettingsSymbol.Equals(objectCreationOperation.Type)) 205if (jsonSerializerSettingsSymbol.Equals(returnOperation.Type))

140if (rfc2898DeriveBytesTypeSymbol.Equals(invocationOperation.Instance?.Type) &&

71if (!typeNameHandlingSymbol.Equals(assignmentOperation.Target.Type))

117if (httpCookieSymbol.Equals(returnOperation.ReturnedValue?.Type)) 133if (httpCookieSymbol.Equals(argumentOperation.Value.Type))

191if (arrayInitializerOperation.GetAncestor<IArrayCreationOperation>(OperationKind.ArrayCreation)?.Type is IArrayTypeSymbol arrayTypeSymbol

108if (!sslProtocolsSymbol.Equals(assignmentOperation.Target.Type)) 117if (!sslProtocolsSymbol.Equals(argumentOperation.Type)) 127|| !sslProtocolsSymbol.Equals(returnOperation.ReturnedValue.Type)) 137|| !sslProtocolsSymbol.Equals(variableInitializerOperation.Value.Type))

78conversionOperation.Operand.Type != null && 79conversionOperation.Operand.Type.Equals(taskContinutationOptionsType) ?

71taskContinutationOptionsType.Equals(field.Type) &&

117if (initializerValues.Single().Type is not INamedTypeSymbol namedTypeSymbol)

63if (rightOperand.HasNullConstantValue() && binaryOperation.LeftOperand.Type is not null && IsSpan(binaryOperation.LeftOperand.Type) 64|| leftOperand.HasNullConstantValue() && binaryOperation.RightOperand.Type is not null && IsSpan(binaryOperation.RightOperand.Type)) 69if (rightOperand is IDefaultValueOperation && binaryOperation.LeftOperand.Type is not null && IsSpan(binaryOperation.LeftOperand.Type) 70|| leftOperand is IDefaultValueOperation && binaryOperation.RightOperand.Type is not null && IsSpan(binaryOperation.RightOperand.Type))

66if (invocation.Arguments[0].Value.WalkDownConversion().Type.IsNonNullableValueType() 72if (invocation.Arguments[0].Value.WalkDownConversion().Type.IsNullableValueType())

225if (!OtherArguments[i].Value.WalkDownConversion().Type.IsAssignableTo(method.Parameters[i].Type, compilation))

53invocation.Instance.Type != null && 54invocation.Instance.Type.TypeKind != TypeKind.TypeParameter && 55conversion.Operand.Type?.TypeKind != TypeKind.TypeParameter && 56!invocation.Instance.Type.Equals(conversion.Operand.Type)) 58context.ReportDiagnostic(invocation.CreateDiagnostic(DifferentTypeRule, GetArgumentTypeName(conversion), invocation.Instance.Type.Name)); 66if (conversion.Operand.Type != null) 68return conversion.Operand.Type.Name;

380if (SecurityDiagnosticHelpers.IsXmlSecureResolverType(operation.Operand.Type, _xmlTypes)) 454if (SecurityDiagnosticHelpers.IsXmlSecureResolverType(operation.Operand.Type, _xmlTypes)) 529if (SecurityDiagnosticHelpers.IsXmlSecureResolverType(operation.Operand.Type, _xmlTypes)) 556if (conv != null && SecurityDiagnosticHelpers.IsXmlSecureResolverType(conv.Operand.Type, _xmlTypes)) 594if (isXmlTextReaderXmlResolverProperty && conv != null && SecurityDiagnosticHelpers.IsXmlSecureResolverType(conv.Operand.Type, _xmlTypes)) 648else if (SecurityDiagnosticHelpers.IsXmlReaderSettingsType(propRef.Instance.Type, _xmlTypes)) 659if (SecurityDiagnosticHelpers.IsXmlSecureResolverType(conv.Operand.Type, _xmlTypes))

139|| SecurityDiagnosticHelpers.IsXmlSecureResolverType(operation.Type, _xmlTypes), 189|| SecurityDiagnosticHelpers.IsXmlSecureResolverType(operation.Type, _xmlTypes), 239|| SecurityDiagnosticHelpers.IsXmlSecureResolverType(operation.Type, _xmlTypes), 319&& !SecurityDiagnosticHelpers.IsXmlSecureResolverType(operation.Type, _xmlTypes),

142|| resolverArgumentOperation.Type.IsXmlSecureResolverType(_xmlTypes);

605FlowConversionOperandValue(conversionInference, operation.Type))

147if (operation.Type == null || operation.Constructor == null) 150if (this.TrackedTypeSymbols.Any(s => operation.Type.GetBaseTypesAndThis().Contains(s))) 215if (operation.Target.Type == null) 221&& this.TrackedTypeSymbols.Any(s => operation.Target.Type.GetBaseTypesAndThis().Contains(s)) 281&& propertyReferenceOperation.Instance?.Type != null 282&& this.TrackedTypeSymbols.Any(s => propertyReferenceOperation.Instance.Type.GetBaseTypesAndThis().Contains(s)) 462if (visitedArgument.Value?.Type != null && this.TrackedTypeSymbols.Any(s => visitedArgument.Value.Type.GetBaseTypesAndThis().Contains(s))) 476if ((visitedInstance?.Type != null 477&& this.TrackedTypeSymbols.Any(s => visitedInstance.Type.GetBaseTypesAndThis().Contains(s)) 530ITypeSymbol? argumentTypeSymbol = value is IConversionOperation conversionOperation ? conversionOperation.Operand.Type : value.Type; 652if (returnValue?.Type != null 653&& this.TrackedTypeSymbols.Any(s => returnValue.Type.GetBaseTypesAndThis().Contains(s))

503if (arrayCreationOperation?.Type is IArrayTypeSymbol arrayTypeSymbol

212if (propertyReferenceOperation.Instance?.Type is not INamedTypeSymbol namedType)

186if (operation.Type == null) 193if (ValueContentAbstractValue.IsSupportedType(operation.Type, out var valueTypeSymbol)) 214operation.Type is INamedTypeSymbol namedType && 227return leftValue.MergeBinaryOperation(rightValue, operation.OperatorKind, operation.LeftOperand.Type, operation.RightOperand.Type, operation.Type); 237return targetValue.MergeBinaryOperation(assignedValue, operation.OperatorKind, targetType, assignedValueType, operation.Type); 245return targetValue.MergeBinaryOperation(incrementValue, operationKind, operation.Target.Type, incrementValueType, operation.Type); 293mergedValue = mergedValue.MergeBinaryOperation(newValue, BinaryOperatorKind.Add, leftType: operation.Type, rightType: operation.Type, resultType: operation.Type);

70if (operation.Value.Type != null)

86var instanceType = creation.Type; 107if (disposedInstance == null || !IsDisposable(disposedInstance.Type))

272if (PointsToAnalysis.ShouldBeTracked(operation.Type, IsDisposable) && 279Debug.Assert(operation.Type == null || !operation.Type.IsNonNullableValueType() || defaultValue == PointsToAbstractValue.NoLocation); 757if (operation.Type == null || 767else if (operation.Type.IsNonNullableValueType()) 798AbstractLocation location = AbstractLocation.CreateAllocationLocation(operation, operation.Type!, DataFlowAnalysisContext); 824if (operation.Operand.Type == null) 829AbstractLocation location = AbstractLocation.CreateAllocationLocation(operation, operation.Operand.Type, DataFlowAnalysisContext); 841if (operation.Type.GetUnderlyingValueTupleTypeOrThis() is { } type) 859if (operation.Type is null) 862AbstractLocation location = AbstractLocation.CreateAllocationLocation(operation, operation.Type, DataFlowAnalysisContext); 883var pointsToAbstractValue = operation.Type != null 884? PointsToAbstractValue.Create(AbstractLocation.CreateAllocationLocation(operation, operation.Type, DataFlowAnalysisContext), mayBeNull: false) 920if (PointsToAnalysis.ShouldBeTracked(operation.Type, IsDisposable)) 927AbstractLocation location = AbstractLocation.CreateAllocationLocation(operation, operation.Type, DataFlowAnalysisContext); 1067NullAbstractValue nullState = GetNullStateBasedOnInstanceOrReferenceValue(referenceOrInstance, operation.Type, defaultValue.NullState); 1172PointsToAnalysis.ShouldBeTracked(operation.Value.Type, IsDisposable)) 1209if (inference.IsBoxing && operation.Type != null) 1212var location = AbstractLocation.CreateAllocationLocation(operation, operation.Type, DataFlowAnalysisContext); 1215else if (inference.IsUnboxing && operation.Type.IsNonNullableValueType())

330return !operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null && o.Kind is not (OperationKind.Branch or OperationKindEx.Attribute)));

299AddCoupledNamedTypesCore(builder, operation.Type, context.WellKnownTypeProvider); 341(binaryOperation.Type.SpecialType == SpecialType.System_Boolean &&

35invocation.Instance.Type; 44firstArg.Value.Type; 92if (operation.Type == null || operation.Type.IsErrorType()) 97if (operation.Type.IsPrimitiveType()) 99return HasConstantValue(constantValue, operation.Type, comparand); 102if (operation.Type.TypeKind == TypeKind.Enum) 104var enumUnderlyingType = ((INamedTypeSymbol)operation.Type).EnumUnderlyingType; 125return (arrayCreation?.Type as IArrayTypeSymbol)?.ElementType; 139if (operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null))) 563&& operation.GetAncestor(s_LambdaAndLocalFunctionKinds)?.Parent?.Type?.OriginalDefinition is { } lambdaType 584IConstantPatternOperation constantPattern => constantPattern.Value.Type, 652return instance?.WalkDownConversion().Type; 764=> operation.GetThrownException()?.Type; 817(current.ConstantValue.HasValue || current.Type != null))

27public ITypeSymbol? Type => WrappedOperation.Type;

52public ITypeSymbol? Type => WrappedOperation.Type;

26public ITypeSymbol? Type => WrappedOperation.Type;

160IsDisposable(operation.Type);

76captureId: null, location: location, type: instanceReferenceOperation.Type!, parent: null, entityForInstanceLocation: null, isThisOrMeInstance: false)

134ITypeSymbol? type = operation.Type; 201analysisEntity = GetOrCreateForFlowCapture(flowCapture.Id, flowCapture.Value.Type, flowCapture, isLvalueFlowCapture); 230analysisEntity = GetOrCreateForFlowCapture(flowCaptureReference.Id, flowCaptureReference.Type, flowCaptureReference, flowCaptureReference.IsLValueFlowCaptureReference()); 331if (tupleOperation.Type?.IsTupleType != true || 337var tupleType = (INamedTypeSymbol)tupleOperation.Type; 455if (instance?.Type != null) 457if (instance.Type.IsValueType)

18targetType: operation.Type, 19sourceType: operation.Operand.Type, 25sourceType: operation.Value.Type,

724var thrownExceptionType = branch.BranchValue?.Type ?? CurrentBasicBlock.GetEnclosingRegionExceptionType(); 744if (branch.BranchValue.Type?.SpecialType == SpecialType.System_Boolean && 837!SymbolEqualityComparer.Default.Equals(method.ReturnType, returnValueOperation.Type)) 1234return TryInferConversion(operation.Operand, operation.Type, operation.IsTryCast, operation, out inference); 1250inference = ConversionInference.Create(targetType, sourceOperand.Type, isTryCast); 1694if (invocation.Type?.SpecialType != SpecialType.System_Boolean) 1853var leftType = operation.LeftOperand.Type; 1855var rightType = operation.RightOperand.Type; 1858operation.Type?.SpecialType == SpecialType.System_Boolean && 2024Debug.Assert(operation.Type!.HasValueCopySemantics()); 2043Debug.Assert(!operation.Type!.HasValueCopySemantics()); 2060if (operation == null || operation.Type == null || !HasPointsToAnalysisResult || !PessimisticAnalysis) 2065if (operation.Type.HasValueCopySemantics()) 2835var value = ComputeValueForCompoundAssignment(operation, targetValue, assignedValue, operation.Target.Type, operation.Value.Type); 2898var elementType = ((IArrayTypeSymbol)arrayCreation.Type!).ElementType; 3053return GetAbstractDefaultValue(operation.Type); 3110operation.Value.Type != null && 3111!operation.Value.Type.HasValueCopySemantics()) 3228operation.Type?.SpecialType == SpecialType.System_Boolean && 3699return GetAbstractDefaultValue(operation.Type); 3748if (operation.Type != null) 3750MergeAnalysisDataFromUnhandledThrowOperations(operation.Type);

328return !operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null && o.Kind is not (OperationKind.Branch or OperationKind.Attribute)));

297AddCoupledNamedTypesCore(builder, operation.Type, context.WellKnownTypeProvider); 339(binaryOperation.Type.SpecialType == SpecialType.System_Boolean &&

34invocation.Instance.Type; 43firstArg.Value.Type; 397IConstantPatternOperation constantPattern => constantPattern.Value.Type, 467=> operation.GetThrownException()?.Type;

378=> operation.Kind == OperationKind.Literal && operation.Type.IsNumericType(); 457notImplementedExceptionType.Equals(objectCreation.Type);

363operation.Value.Type.IsDelegateType()) 499Debug.Assert(operation.Type.IsDelegateType());

1907Dim sourceType As ITypeSymbol = source.Type

349Dim type As ITypeSymbol = target.Type 521adjustedInfo.Operation.Type,

36If conversion IsNot Nothing AndAlso conversion.Type.SpecialType = SpecialType.System_Object AndAlso

53If typeInfo.ConvertedType.IsAssignableTo(conversionOperation.Type, invocationContext.SemanticModel.Compilation) Then

378=> operation.Kind == OperationKind.Literal && operation.Type.IsNumericType(); 457notImplementedExceptionType.Equals(objectCreation.Type);

363operation.Value.Type.IsDelegateType()) 499Debug.Assert(operation.Type.IsDelegateType());

272var valueType = (operation as IIsPatternOperation)?.Value.Type?.SpecialType; 453var type = variableExpression.Type;

107IInstanceReferenceOperation i => i.Type, 110IPropertyReferenceOperation o => o.Type, 115IObjectCreationOperation o => o.Type,

45|| !comVisibleAttribute.Equals(ctor.Type, SymbolEqualityComparer.Default)

143if (operation.Type is INamedTypeSymbol { IsComImport: true } && !enableGeneratedComInterfaceComImportInterop) 146if (operand is IConversionOperation { Type.SpecialType: SpecialType.System_Object } objConversion) 150if (operand.Type is null) 158if (recognizer(operand.Type)) 171if (recognizer(operation.Type)) 174if (operand is IConversionOperation { Type.SpecialType: SpecialType.System_Object } objConversion) 178if (operand.Type is INamedTypeSymbol { IsComImport: true } && !enableGeneratedComInterfaceComImportInterop) 202IConversionOperation conversion => (conversion.Operand.Type, conversion.Operand.Syntax.GetLocation()), 203IOperation op => (op.Type, op.Syntax.GetLocation())

646&& attrCreation.Type.Equals(_customMarshallerAttribute, SymbolEqualityComparer.Default))

88&& attrCreation.Type.ToDisplayString() == TypeNames.NativeMarshallingAttribute)

1107else if (operation.GetRefKind(_context.OwningSymbol) == RefKind.None && Cache.IsNonCopyableType(returnedValue.Type)) 1109_context.ReportDiagnostic(returnedValue.CreateDiagnostic(NoReturnValueFromReferenceRule, returnedValue.Type)); 1125if (Cache.IsNonCopyableType(value.Type) 1130_context.ReportDiagnostic(value.CreateDiagnostic(NoAssignValueFromReferenceRule, value.Type)); 1374{ Type: INamedTypeSymbol { OriginalDefinition: var taskType } } 1644var symbol = operation.Type;

79if (objectCreation.Type!.Name.Equals(TestAccessorHelper.TestAccessorTypeName, StringComparison.Ordinal))

83if (conversionOperation.Type?.TypeKind != TypeKind.Interface) 86if (conversionOperation.Operand.Type is not INamedTypeSymbol operandType ||

328return !operation.DescendantsAndSelf().All(o => o.IsImplicit || (!o.ConstantValue.HasValue && o.Type == null && o.Kind is not (OperationKind.Branch or OperationKind.Attribute)));

297AddCoupledNamedTypesCore(builder, operation.Type, context.WellKnownTypeProvider); 339(binaryOperation.Type.SpecialType == SpecialType.System_Boolean &&

34invocation.Instance.Type; 43firstArg.Value.Type; 397IConstantPatternOperation constantPattern => constantPattern.Value.Type, 467=> operation.GetThrownException()?.Type;

378=> operation.Kind == OperationKind.Literal && operation.Type.IsNumericType(); 457notImplementedExceptionType.Equals(objectCreation.Type);

363operation.Value.Type.IsDelegateType()) 499Debug.Assert(operation.Type.IsDelegateType());

272var valueType = (operation as IIsPatternOperation)?.Value.Type?.SpecialType; 453var type = variableExpression.Type;

51var type = context.Operation.Type;

97while (current is IConversionOperation { Type.SpecialType: SpecialType.System_Delegate or SpecialType.System_MulticastDelegate }) 100if (current is IConversionOperation { Type.SpecialType: SpecialType.System_Object }) 107if (current.Parent is IConversionOperation { Type: { } parentConversionType, IsImplicit: false } && 236conversionOperation.Type.RemoveNullableIfPresent() is var type1 && 237conversionOperation.Operand.Type.RemoveNullableIfPresent() is var type2 && 253if (originalDelegateCreationOperation.Type?.TypeKind != TypeKind.Delegate) 270if (rewrittenDelegateCreationOperation.Type?.TypeKind != TypeKind.Delegate) 274if (!Equals(originalDelegateCreationOperation.Type, rewrittenDelegateCreationOperation.Type)) 410var isAcceptableSpanConversion = originalConversionOperation.Type.IsSpan() && originalParentConversionOperation.Type.IsReadOnlySpan(); 570if (castNode.IsParentKind(SyntaxKind.Interpolation) && originalConversionOperation.Type?.SpecialType is SpecialType.System_Object) 808if (!IsSignedIntegralOrIntPtrType(originalConversionOperation.Type) || 809!IsSignedIntegralOrIntPtrType(originalConversionOperation.Operand.Type)) 835var originalConvertedType = originalConversionOperation.Type; 836var rewrittenBitwiseNotConversionType = rewrittenBitwiseNotConversionOperation.Type; 979if (castType.Equals(rewrittenOperation.Type, SymbolEqualityComparer.IncludeNullability)) 984castType.Equals(conditionalParentConversion.Type, SymbolEqualityComparer.IncludeNullability)) 1026if (!rewrittenConditionalConvertedType.Equals(conversionOperation.Type)) 1040if (conversionOperation.Type.IsSpanOrReadOnlySpan() && 1068if (binaryOperation.LeftOperand.Type?.SpecialType == SpecialType.System_Object && 1075else if (binaryOperation.RightOperand.Type?.SpecialType == SpecialType.System_Object && 1098if (conversionOperation.Operand.Type is not INamedTypeSymbol original)

224if (argumentOp is not { Value.Type: { } valueType, Parameter.Type: { } parameterType })

46SymbolEqualityComparer.Default.Equals(create.Type, regexSymbol) &&