@zzzen/pyright-internal 1.2.0-dev.20240721 → 1.2.0-dev.20240804

package/dist/analyzer/constraintSolver.d.ts

@@ -1,8 +1,12 @@
 import { DiagnosticAddendum } from '../common/diagnostic';
-import { TypeEvaluator } from './typeEvaluatorTypes';
-import { ClassType, TupleTypeArgument, Type, TypeVarScopeId, TypeVarType } from './types';
+import { ConstraintSolution, ConstraintSolutionSet } from './constraintSolution';
+import { ConstraintSet, ConstraintTracker } from './constraintTracker';
+import { SolveConstraintsOptions, TypeEvaluator } from './typeEvaluatorTypes';
+import { ClassType, Type, TypeVarScopeId, TypeVarType } from './types';
 import { AssignTypeFlags } from './typeUtils';
-import { TypeVarContext } from './typeVarContext';
-export declare function assignTypeToTypeVar(evaluator: TypeEvaluator, destType: TypeVarType, srcType: Type, diag: DiagnosticAddendum | undefined, typeVarContext: TypeVarContext, flags?: AssignTypeFlags, recursionCount?: number): boolean;
-export declare function updateTypeVarType(evaluator: TypeEvaluator, typeVarContext: TypeVarContext, destType: TypeVarType, narrowTypeBound: Type | undefined, wideTypeBound: Type | undefined, tupleTypes?: TupleTypeArgument[] | undefined, forceRetainLiterals?: boolean): void;
-export declare function addConstraintsForExpectedType(evaluator: TypeEvaluator, type: ClassType, expectedType: Type, typeVarContext: TypeVarContext, liveTypeVarScopes: TypeVarScopeId[] | undefined, usageOffset?: number | undefined): boolean;
+export declare function assignTypeVar(evaluator: TypeEvaluator, destType: TypeVarType, srcType: Type, diag: DiagnosticAddendum | undefined, constraints: ConstraintTracker | undefined, flags?: AssignTypeFlags, recursionCount?: number): boolean;
+export declare function solveConstraints(evaluator: TypeEvaluator, constraints: ConstraintTracker, options?: SolveConstraintsOptions): ConstraintSolution;
+export declare function solveConstraintSet(evaluator: TypeEvaluator, constraintSet: ConstraintSet, options?: SolveConstraintsOptions): ConstraintSolutionSet;
+export declare function updateTypeVarType(evaluator: TypeEvaluator, constraints: ConstraintTracker, destType: TypeVarType, lowerBound: Type | undefined, upperBound: Type | undefined, forceRetainLiterals?: boolean): void;
+export declare function addConstraintsForExpectedType(evaluator: TypeEvaluator, type: ClassType, expectedType: Type, constraints: ConstraintTracker, liveTypeVarScopes: TypeVarScopeId[] | undefined, usageOffset?: number | undefined): boolean;
+export declare function applyUnificationVars(evaluator: TypeEvaluator, constraints: ConstraintTracker): void;