49 references to ConstraintsHelper
Microsoft.CodeAnalysis.CSharp (49)
Binder\Binder_Await.cs (4)
437if (!ConstraintsHelper.CheckConstraints( 439new ConstraintsHelper.CheckConstraintsArgs(@this.Compilation, @this.Conversions, includeNullability: false, node.Location, tempDiagnostics))) 502ConstraintsHelper.CheckConstraints( 504new ConstraintsHelper.CheckConstraintsArgs(this.Compilation, this.Conversions, includeNullability: false, syntax.Location, diagnostics));
Binder\Binder_Conversions.cs (3)
539.CheckConstraints(new ConstraintsHelper.CheckConstraintsArgs(Compilation, Conversions, includeNullability: false, syntax.Location, diagnostics)); 1067new ConstraintsHelper.CheckConstraintsArgs(Compilation, Conversions, syntax.Location, diagnostics)); 2628return !methodSymbol.CheckConstraints(new ConstraintsHelper.CheckConstraintsArgs(this.Compilation, this.Conversions, includeNullability: false, node.Location, diagnostics));
Binder\Binder_Expressions.cs (4)
11149if (!ConstraintsHelper.RequiresChecking(method)) 11157bool constraintsSatisfied = ConstraintsHelper.CheckMethodConstraints( 11159new ConstraintsHelper.CheckConstraintsArgs(this.Compilation, this.Conversions, includeNullability: false, location: NoLocation.Singleton, diagnostics: null), 11271new ConstraintsHelper.CheckConstraintsArgs(compilation, conversions, includeNullability: false, NoLocation.Singleton, diagnostics: null, template: CompoundUseSiteInfo<AssemblySymbol>.Discarded),
Binder\Binder_Invocation.cs (1)
1036(typeArgumentsOpt.IsDefault || ((MethodSymbol)(object)result.Member).CheckConstraints(new ConstraintsHelper.CheckConstraintsArgs(this.Compilation, this.Conversions, includeNullability: false, syntax.Location, candidateDiagnostics))))
Binder\Binder_Symbols.cs (3)
565type.CheckConstraints(new ConstraintsHelper.CheckConstraintsArgs(this.Compilation, this.Conversions, includeNullability: true, location, diagnostics)); 1627if (ShouldCheckConstraints && ConstraintsHelper.RequiresChecking(type)) 1630type.CheckConstraintsForNamedType(new ConstraintsHelper.CheckConstraintsArgs(this.Compilation, this.Conversions, includeNullability, typeSyntax.Location, diagnostics),
Binder\Semantics\OverloadResolution\OverloadResolution.cs (4)
803var constraintsArgs = new ConstraintsHelper.CheckConstraintsArgs(this.Compilation, this.Conversions, includeNullability: false, location: NoLocation.Singleton, diagnostics: null, template); 808constraintsSatisfied = ConstraintsHelper.CheckMethodConstraints( 815else if (member.GetIsNewExtensionMember() && member.ContainingType is { } extension && ConstraintsHelper.RequiresChecking(extension)) 817constraintsSatisfied = ConstraintsHelper.CheckConstraints(extension, in constraintsArgs,
Binder\Semantics\OverloadResolution\OverloadResolutionResult.cs (2)
1046if (!method.CheckConstraints(new ConstraintsHelper.CheckConstraintsArgs(compilation, conversions, includeNullability: false, location, diagnostics))) 1058var boxedArgs = ConstraintsHelper.CheckConstraintsArgsBoxed.Allocate(compilation, conversions, includeNullability: false, location, diagnostics);
FlowAnalysis\NullableWalker.cs (9)
7367if (ConstraintsHelper.RequiresChecking(reinferredMethod)) 7374if (member.ContainingType is { } extension && ConstraintsHelper.RequiresChecking(extension)) 8620ConstraintsHelper.CheckMethodConstraints( 8622new ConstraintsHelper.CheckConstraintsArgs(compilation, _conversions, includeNullability: true, NoLocation.Singleton, diagnostics: null, template: CompoundUseSiteInfo<AssemblySymbol>.Discarded), 8651var constraintsArgs = new ConstraintsHelper.CheckConstraintsArgs(compilation, _conversions, includeNullability: false, location: NoLocation.Singleton, diagnostics: null, template: CompoundUseSiteInfo<AssemblySymbol>.Discarded); 8653ConstraintsHelper.CheckConstraints(extension, in constraintsArgs, 9084tupleOpt.CheckConstraints(new ConstraintsHelper.CheckConstraintsArgs(compilation, _conversions, includeNullability: true, node.Syntax.Location, diagnostics: null), 10502if (ConstraintsHelper.RequiresChecking(method)) 10864if (ConstraintsHelper.RequiresChecking(deconstructMethod))
Lowering\AsyncRewriter\AsyncMethodToStateMachineRewriter.cs (1)
637onCompleted.CheckConstraints(new ConstraintsHelper.CheckConstraintsArgs(F.Compilation, F.Compilation.Conversions, includeNullability: false, F.Syntax.Location, this.Diagnostics));
Lowering\AsyncRewriter\AsyncRewriter.cs (1)
258startMethod.CheckConstraints(new ConstraintsHelper.CheckConstraintsArgs(F.Compilation, F.Compilation.Conversions, includeNullability: false, F.Syntax.Location, diagnostics));
Lowering\LocalRewriter\LocalRewriter_Call.cs (1)
188if (!interceptor.CheckConstraints(new ConstraintsHelper.CheckConstraintsArgs(this._compilation, this._compilation.Conversions, includeNullability: true, attributeLocation, this._diagnostics)))
Lowering\LocalRewriter\LocalRewriter_CollectionExpression.cs (2)
679if (linqToArrayMethod.CheckConstraints(new ConstraintsHelper.CheckConstraintsArgs(_compilation, _compilation.Conversions, Location.None, BindingDiagnosticBag.Discarded)) 861if (spanOfElementType.CheckConstraints(new ConstraintsHelper.CheckConstraintsArgs(_compilation, _compilation.Conversions, Location.None, BindingDiagnosticBag.Discarded)))
Lowering\LocalRewriter\LocalRewriter_ObjectCreationExpression.cs (1)
343method.CheckConstraints(new ConstraintsHelper.CheckConstraintsArgs(_compilation, _compilation.Conversions, syntax.GetLocation(), _diagnostics));
Symbols\AbstractTypeMap.cs (1)
379result[mergeWith] = ConstraintsHelper.ConstraintWithMostSignificantNullability(result[mergeWith], substituted);
Symbols\MemberSymbolExtensions.cs (1)
307var constraintArgs = new ConstraintsHelper.CheckConstraintsArgs(compilation, conversions, includeNullability: false,
Symbols\Metadata\PE\PETypeParameterSymbol.cs (3)
185if (ConstraintsHelper.IsObjectConstraint(type, ref bestObjectConstraint)) 196if (ConstraintsHelper.IsObjectConstraintSignificant(CalculateIsNotNullableFromNonTypeConstraints(), bestObjectConstraint)) 211if (!ConstraintsHelper.IsObjectConstraintSignificant(IsNotNullableFromConstraintType(constraintType, inProgress, out _), bestObjectConstraint))
Symbols\ReducedExtensionMethodSymbol.cs (1)
207var success = method.CheckConstraints(new ConstraintsHelper.CheckConstraintsArgs(compilation, conversions, includeNullability: false, NoLocation.Singleton, diagnostics: null, template: new CompoundUseSiteInfo<AssemblySymbol>(useSiteInfo)),
Symbols\Source\SourceNamedTypeSymbol.cs (1)
455results = ConstraintsHelper.AdjustConstraintKindsBasedOnConstraintTypes(typeParameters, results);
Symbols\Source\SourceNamedTypeSymbol_Extension.cs (1)
1229var constraintArgs = new ConstraintsHelper.CheckConstraintsArgs(compilation, conversions, includeNullability: false,
Symbols\Source\SourceTypeParameterSymbol.cs (1)
263var args = ConstraintsHelper.CheckConstraintsArgsBoxed.Allocate(
Symbols\SubstitutedTypeParameterSymbol.cs (3)
110if (ConstraintsHelper.IsObjectConstraint(type, ref bestObjectConstraint)) 119if (ConstraintsHelper.IsObjectConstraintSignificant(CalculateIsNotNullableFromNonTypeConstraints(), bestObjectConstraint)) 133if (!ConstraintsHelper.IsObjectConstraintSignificant(IsNotNullableFromConstraintType(constraintType, out _), bestObjectConstraint))
Symbols\Tuples\TupleTypeSymbol.cs (1)
65constructedType.CheckConstraints(new ConstraintsHelper.CheckConstraintsArgs(compilation, compilation.Conversions, includeNullability, syntax.Location, diagnostics),