@zzzen/pyright-internal 1.2.0-dev.20240728 → 1.2.0-dev.20240811

package/dist/analyzer/types.d.ts

@@ -8,7 +8,7 @@ export declare const enum TypeCategory {
     Any = 2,
     Never = 3,
     Function = 4,
-    OverloadedFunction = 5,
+    Overloaded = 5,
     Class = 6,
     Module = 7,
     Union = 8,
@@ -21,16 +21,17 @@ export declare const enum TypeFlags {
     Ambiguous = 4,
     TypeCompatibilityMask = 3
 }
-export type UnionableType = UnboundType | UnknownType | AnyType | FunctionType | OverloadedFunctionType | ClassType | ModuleType | TypeVarType;
+export type UnionableType = UnboundType | UnknownType | AnyType | FunctionType | OverloadedType | ClassType | ModuleType | TypeVarType;
 export type Type = UnionableType | NeverType | UnionType;
 export type TypeVarScopeId = string;
-export declare const InScopePlaceholderScopeId = "-";
+export declare const UnificationScopeId: TypeVarScopeId;
 export declare class EnumLiteral {
     classFullName: string;
     className: string;
     itemName: string;
     itemType: Type;
-    constructor(classFullName: string, className: string, itemName: string, itemType: Type);
+    isReprEnum: boolean;
+    constructor(classFullName: string, className: string, itemName: string, itemType: Type, isReprEnum: boolean);
     getName(): string;
 }
 export type LiteralValue = number | bigint | boolean | string | EnumLiteral;
@@ -89,7 +90,7 @@ export declare namespace TypeBase {
     function cloneAsSpecialForm<T extends TypeBase<any>>(type: T, specialForm: ClassType | undefined): T;
     function cloneTypeAsInstance<T extends Type>(type: T, cache: boolean): T;
     function cloneTypeAsInstantiable<T extends Type>(type: T, cache: boolean): T;
-    function cloneForTypeAlias(type: Type, name: string, fullName: string, moduleName: string, fileUri: Uri, typeVarScopeId: TypeVarScopeId, isPep695Syntax: boolean, typeParams?: TypeVarType[], typeArgs?: Type[]): Type;
+    function cloneForTypeAlias(type: Type, aliasInfo: TypeAliasInfo): Type;
     function cloneForCondition<T extends Type>(type: T, condition: TypeCondition[] | undefined): T;
     function cloneForAmbiguousType(type: Type): Type;
 }
@@ -318,10 +319,10 @@ export declare enum FunctionParamFlags {
 }
 export interface FunctionParam {
     category: ParamCategory;
-    type: Type;
     flags: FunctionParamFlags;
     name: string | undefined;
-    defaultType: Type | undefined;
+    _type: Type;
+    _defaultType: Type | undefined;
 }
 export declare namespace FunctionParam {
     function create(category: ParamCategory, type: Type, flags?: FunctionParamFlags, name?: string, defaultType?: Type): FunctionParam;
@@ -371,7 +372,7 @@ interface FunctionDetailsShared {
 }
 export interface SpecializedFunctionTypes {
     parameterTypes: Type[];
-    parameterDefaultArgs: (Type | undefined)[] | undefined;
+    parameterDefaultTypes: (Type | undefined)[] | undefined;
     returnType: Type | undefined;
 }
 export interface CallSiteInferenceTypeCacheEntry {
@@ -379,19 +380,18 @@ export interface CallSiteInferenceTypeCacheEntry {
     returnType: Type;
 }
 export interface SignatureWithOffsets {
-    type: FunctionType | OverloadedFunctionType;
+    type: FunctionType | OverloadedType;
     expressionOffsets: number[];
 }
 export interface FunctionDetailsPriv {
     constructorTypeVarScopeId?: TypeVarScopeId | undefined;
-    higherOrderTypeVarScopeIds?: TypeVarScopeId[];
     specializedTypes?: SpecializedFunctionTypes | undefined;
     inferredReturnType?: Type | undefined;
     callSiteReturnTypeCache?: CallSiteInferenceTypeCacheEntry[];
     strippedFirstParamType?: Type | undefined;
     boundToType?: ClassType | undefined;
     preBoundFlags?: FunctionTypeFlags;
-    overloaded?: OverloadedFunctionType;
+    overloaded?: OverloadedType;
     isCallableWithTypeArgs?: boolean;
 }
 export interface FunctionType extends TypeBase<TypeCategory.Function> {
@@ -402,7 +402,7 @@ export declare namespace FunctionType {
     function createInstance(name: string, fullName: string, moduleName: string, functionFlags: FunctionTypeFlags, docString?: string): FunctionType;
     function createInstantiable(functionFlags: FunctionTypeFlags, docString?: string): FunctionType;
     function createSynthesizedInstance(name: string, additionalFlags?: FunctionTypeFlags): FunctionType;
-    function clone(type: FunctionType, stripFirstParam?: boolean, boundToType?: ClassType, boundTypeVarScopeId?: TypeVarScopeId): FunctionType;
+    function clone(type: FunctionType, stripFirstParam?: boolean, boundToType?: ClassType): FunctionType;
     function cloneAsInstance(type: FunctionType): FunctionType;
     function cloneAsInstantiable(type: FunctionType): FunctionType;
     function specialize(type: FunctionType, specializedTypes: SpecializedFunctionTypes, specializedInferredReturnType: Type | undefined): FunctionType;
@@ -415,7 +415,6 @@ export declare namespace FunctionType {
     function getParamSpecFromArgsKwargs(type: FunctionType): ParamSpecType | undefined;
     function addParamSpecVariadics(type: FunctionType, paramSpec: ParamSpecType): void;
     function addDefaultParams(type: FunctionType, useUnknown?: boolean): void;
-    function addHigherOrderTypeVarScopeIds(functionType: FunctionType, scopeIds: (TypeVarScopeId | undefined)[] | TypeVarScopeId | undefined): void;
     function getDefaultParams(useUnknown?: boolean): FunctionParam[];
     function hasDefaultParams(functionType: FunctionType): boolean;
     function isInstanceMethod(type: FunctionType): boolean;
@@ -438,24 +437,26 @@ export declare namespace FunctionType {
     function isPartiallyEvaluated(type: FunctionType): boolean;
     function isOverridden(type: FunctionType): boolean;
     function isBuiltIn(type: FunctionType, name?: string | string[]): boolean;
-    function getEffectiveParamType(type: FunctionType, index: number): Type;
-    function getEffectiveParamDefaultArgType(type: FunctionType, index: number): Type | undefined;
+    function getDeclaredParamType(type: FunctionType, index: number): Type;
+    function getParamType(type: FunctionType, index: number): Type;
+    function getParamDefaultType(type: FunctionType, index: number): Type | undefined;
     function addParam(type: FunctionType, param: FunctionParam): void;
     function addPositionOnlyParamSeparator(type: FunctionType): void;
     function addKeywordOnlyParamSeparator(type: FunctionType): void;
     function getEffectiveReturnType(type: FunctionType, includeInferred?: boolean): Type | undefined;
 }
-export interface OverloadedFunctionDetailsPriv {
-    overloads: FunctionType[];
+export interface OverloadedDetailsPriv {
+    _overloads: FunctionType[];
+    _implementation: Type | undefined;
 }
-export interface OverloadedFunctionType extends TypeBase<TypeCategory.OverloadedFunction> {
-    priv: OverloadedFunctionDetailsPriv;
+export interface OverloadedType extends TypeBase<TypeCategory.Overloaded> {
+    priv: OverloadedDetailsPriv;
 }
-export declare namespace OverloadedFunctionType {
-    function create(overloads: FunctionType[]): OverloadedFunctionType;
-    function addOverload(type: OverloadedFunctionType, functionType: FunctionType): void;
-    function getOverloads(type: OverloadedFunctionType): FunctionType[];
-    function getImplementation(type: OverloadedFunctionType): FunctionType | undefined;
+export declare namespace OverloadedType {
+    function create(overloads: FunctionType[], implementation?: Type): OverloadedType;
+    function addOverload(type: OverloadedType, functionType: FunctionType): void;
+    function getOverloads(type: OverloadedType): FunctionType[];
+    function getImplementation(type: OverloadedType): Type | undefined;
 }
 export interface NeverDetailsPriv {
     isNoReturn: boolean;
@@ -556,8 +557,8 @@ export interface TypeVarDetailsPriv {
     scopeType?: TypeVarScopeType;
     nameWithScope?: string | undefined;
     computedVariance?: Variance;
-    isInScopePlaceholder?: boolean;
-    externalTypeVar?: TypeVarType | undefined;
+    isUnificationVar?: boolean;
+    freeTypeVar?: TypeVarType | undefined;
 }
 export interface TypeVarType extends TypeBase<TypeCategory.TypeVar> {
     shared: TypeVarDetailsShared;
@@ -565,7 +566,7 @@ export interface TypeVarType extends TypeBase<TypeCategory.TypeVar> {
 }
 export interface ParamSpecDetailsPriv extends TypeVarDetailsPriv {
     paramSpecAccess?: ParamSpecAccess;
-    externalTypeVar?: ParamSpecType | undefined;
+    freeTypeVar?: ParamSpecType | undefined;
 }
 export interface ParamSpecType extends TypeVarType {
     shared: TypeVarDetailsShared & {
@@ -577,9 +578,9 @@ export declare namespace ParamSpecType {
     function getUnknown(): FunctionType;
 }
 export interface TypeVarTupleDetailsPriv extends TypeVarDetailsPriv {
-    isVariadicUnpacked?: boolean | undefined;
-    isVariadicInUnion?: boolean | undefined;
-    externalTypeVar?: TypeVarTupleType | undefined;
+    isUnpacked?: boolean | undefined;
+    isInUnion?: boolean | undefined;
+    freeTypeVar?: TypeVarTupleType | undefined;
 }
 export interface TypeVarTupleType extends TypeVarType {
     shared: TypeVarDetailsShared & {
@@ -599,17 +600,21 @@ export declare namespace TypeVarType {
     function cloneAsInvariant(type: TypeVarType): TypeVarType;
     function cloneForParamSpecAccess(type: ParamSpecType, access: ParamSpecAccess | undefined): ParamSpecType;
     function cloneAsSpecializedSelf(type: TypeVarType, specializedBoundType: Type): TypeVarType;
-    function cloneAsInScopePlaceholder(type: TypeVarType, usageOffset?: number): TypeVarType;
+    function cloneAsUnificationVar(type: TypeVarType, usageOffset?: number): TypeVarType;
     function makeNameWithScope(name: string, scopeId: string): string;
-    function makeInternalScopeId(scopeId: TypeVarScopeId): TypeVarScopeId;
-    function makeInternalScopeId(scopeId: TypeVarScopeId | undefined): TypeVarScopeId | undefined;
-    function cloneWithInternalScopeId(type: TypeVarType): TypeVarType;
-    function hasInternalScopeId(type: TypeVarType): boolean;
+    function makeBoundScopeId(scopeId: TypeVarScopeId): TypeVarScopeId;
+    function makeBoundScopeId(scopeId: TypeVarScopeId | undefined): TypeVarScopeId | undefined;
+    function cloneAsBound(type: TypeVarType): TypeVarType;
+    function isBound(type: TypeVarType): boolean;
+    function isUnification(type: TypeVarType): boolean | undefined;
     function addConstraint(type: TypeVarType, constraintType: Type): void;
     function getNameWithScope(typeVarType: TypeVarType): string;
     function getReadableName(type: TypeVarType): string;
     function getVariance(type: TypeVarType): Variance.Invariant | Variance.Covariant | Variance.Contravariant;
     function isTypeAliasPlaceholder(type: TypeVarType): boolean;
+    function isSelf(type: TypeVarType): boolean;
+    function hasConstraints(type: TypeVarType): boolean;
+    function hasBound(type: TypeVarType): boolean;
 }
 export declare function isNever(type: Type): type is NeverType;
 export declare function isAny(type: Type): type is AnyType;
@@ -629,7 +634,7 @@ export declare function isUnpackedTypeVarTuple(type: Type): type is TypeVarTuple
 export declare function isUnpackedClass(type: Type): type is ClassType;
 export declare function isUnpacked(type: Type): boolean;
 export declare function isFunction(type: Type): type is FunctionType;
-export declare function isOverloadedFunction(type: Type): type is OverloadedFunctionType;
+export declare function isOverloaded(type: Type): type is OverloadedType;
 export declare function getTypeAliasInfo(type: Type): TypeAliasInfo | undefined;
 export declare function isTypeSame(type1: Type, type2: Type, options?: TypeSameOptions, recursionCount?: number): boolean;
 export declare function removeUnknownFromUnion(type: Type): Type;