@zzzen/pyright-internal 1.2.0-dev.20231126 → 1.2.0-dev.20231203

package/dist/analyzer/typeEvaluatorTypes.d.ts

@@ -40,7 +40,7 @@ export declare const enum EvaluatorFlags {
     AllowUnpackedTupleOrTypeVarTuple = 2097152,
     InterpreterParsesStringLiteral = 4194304,
     AllowUnpackedTypedDict = 8388608,
-    DisallowPep695TypeAlias = 16777216,
+    TreatPep695TypeAliasAsObject = 16777216,
     SkipConvertParamSpecToRuntimeObject = 33554432,
     DisallowNonTypeSpecialForms = 67108864,
     CallBaseDefaults = 16777218,

package/dist/analyzer/typeEvaluatorTypes.js

@@ -77,7 +77,7 @@ var EvaluatorFlags;
     // Allow Unpack annotation for TypedDict.
     EvaluatorFlags[EvaluatorFlags["AllowUnpackedTypedDict"] = 8388608] = "AllowUnpackedTypedDict";
     // Disallow a type alias defined with a "type" statement.
-    EvaluatorFlags[EvaluatorFlags["DisallowPep695TypeAlias"] = 16777216] = "DisallowPep695TypeAlias";
+    EvaluatorFlags[EvaluatorFlags["TreatPep695TypeAliasAsObject"] = 16777216] = "TreatPep695TypeAliasAsObject";
     // If evaluation is a TypeVarType that is a ParamSpec, do
     // not convert it to its corresponding ParamSpec runtime object.
     EvaluatorFlags[EvaluatorFlags["SkipConvertParamSpecToRuntimeObject"] = 33554432] = "SkipConvertParamSpecToRuntimeObject";

package/dist/analyzer/typeEvaluatorTypes.js.map

@@ -1 +1 @@
-{"version":3,"file":"typeEvaluatorTypes.js","sourceRoot":"","sources":["../../../src/analyzer/typeEvaluatorTypes.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AA8CH,gEAAgE;AAChE,kDAAkD;AACrC,QAAA,0BAA0B,GAAG,EAAE,CAAC;AAE7C,IAAkB,cAyGjB;AAzGD,WAAkB,cAAc;IAC5B,mDAAQ,CAAA;IAER,uDAAuD;IACvD,mFAA6B,CAAA;IAE7B,0DAA0D;IAC1D,gEAAgE;IAChE,SAAS;IACT,yEAAwB,CAAA;IAExB,yDAAyD;IACzD,uFAA+B,CAAA;IAE/B,kCAAkC;IAClC,iGAAoC,CAAA;IAEpC,0CAA0C;IAC1C,sEAAsB,CAAA;IAEtB,6CAA6C;IAC7C,8EAA0B,CAAA;IAE1B,gDAAgD;IAChD,oFAA6B,CAAA;IAE7B,2DAA2D;IAC3D,4BAA4B;IAC5B,+FAAkC,CAAA;IAElC,gEAAgE;IAChE,6DAA6D;IAC7D,qBAAqB;IACrB,2FAAgC,CAAA;IAEhC,qEAAqE;IACrE,qFAA6B,CAAA;IAE7B,2DAA2D;IAC3D,gDAAgD;IAChD,wFAA+B,CAAA;IAE/B,8DAA8D;IAC9D,0BAA0B;IAC1B,oGAAqC,CAAA;IAErC,oEAAoE;IACpE,0BAA0B;IAC1B,oGAAqC,CAAA;IAErC,yDAAyD;IACzD,2DAA2D;IAC3D,mCAAmC;IACnC,gHAA2C,CAAA;IAE3C,yDAAyD;IACzD,6DAA6D;IAC7D,uDAAuD;IACvD,iHAA2C,CAAA;IAE3C,mDAAmD;IACnD,2FAAgC,CAAA;IAEhC,6CAA6C;IAC7C,gFAA0B,CAAA;IAE1B,mEAAmE;IACnE,wFAA8B,CAAA;IAE9B,iEAAiE;IACjE,iCAAiC;IACjC,4FAAgC,CAAA;IAEhC,wDAAwD;IACxD,2EAAuB,CAAA;IAEvB,uDAAuD;IACvD,iHAA0C,CAAA;IAE1C,6DAA6D;IAC7D,2DAA2D;IAC3D,oDAAoD;IACpD,6GAAwC,CAAA;IAExC,yCAAyC;IACzC,6FAAgC,CAAA;IAEhC,yDAAyD;IACzD,gGAAiC,CAAA;IAEjC,yDAAyD;IACzD,gEAAgE;IAChE,wHAA6C,CAAA;IAE7C,0DAA0D;IAC1D,wGAAqC,CAAA;IAErC,6DAA6D;IAC7D,kFAA4D,CAAA;IAE5D,sEAAsE;IACtE,6EAAmC,CAAA;IAEnC,sEAAsE;IACtE,kGAAoE,CAAA;AACxE,CAAC,EAzGiB,cAAc,8BAAd,cAAc,QAyG/B"}
+{"version":3,"file":"typeEvaluatorTypes.js","sourceRoot":"","sources":["../../../src/analyzer/typeEvaluatorTypes.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AA8CH,gEAAgE;AAChE,kDAAkD;AACrC,QAAA,0BAA0B,GAAG,EAAE,CAAC;AAE7C,IAAkB,cAyGjB;AAzGD,WAAkB,cAAc;IAC5B,mDAAQ,CAAA;IAER,uDAAuD;IACvD,mFAA6B,CAAA;IAE7B,0DAA0D;IAC1D,gEAAgE;IAChE,SAAS;IACT,yEAAwB,CAAA;IAExB,yDAAyD;IACzD,uFAA+B,CAAA;IAE/B,kCAAkC;IAClC,iGAAoC,CAAA;IAEpC,0CAA0C;IAC1C,sEAAsB,CAAA;IAEtB,6CAA6C;IAC7C,8EAA0B,CAAA;IAE1B,gDAAgD;IAChD,oFAA6B,CAAA;IAE7B,2DAA2D;IAC3D,4BAA4B;IAC5B,+FAAkC,CAAA;IAElC,gEAAgE;IAChE,6DAA6D;IAC7D,qBAAqB;IACrB,2FAAgC,CAAA;IAEhC,qEAAqE;IACrE,qFAA6B,CAAA;IAE7B,2DAA2D;IAC3D,gDAAgD;IAChD,wFAA+B,CAAA;IAE/B,8DAA8D;IAC9D,0BAA0B;IAC1B,oGAAqC,CAAA;IAErC,oEAAoE;IACpE,0BAA0B;IAC1B,oGAAqC,CAAA;IAErC,yDAAyD;IACzD,2DAA2D;IAC3D,mCAAmC;IACnC,gHAA2C,CAAA;IAE3C,yDAAyD;IACzD,6DAA6D;IAC7D,uDAAuD;IACvD,iHAA2C,CAAA;IAE3C,mDAAmD;IACnD,2FAAgC,CAAA;IAEhC,6CAA6C;IAC7C,gFAA0B,CAAA;IAE1B,mEAAmE;IACnE,wFAA8B,CAAA;IAE9B,iEAAiE;IACjE,iCAAiC;IACjC,4FAAgC,CAAA;IAEhC,wDAAwD;IACxD,2EAAuB,CAAA;IAEvB,uDAAuD;IACvD,iHAA0C,CAAA;IAE1C,6DAA6D;IAC7D,2DAA2D;IAC3D,oDAAoD;IACpD,6GAAwC,CAAA;IAExC,yCAAyC;IACzC,6FAAgC,CAAA;IAEhC,yDAAyD;IACzD,0GAAsC,CAAA;IAEtC,yDAAyD;IACzD,gEAAgE;IAChE,wHAA6C,CAAA;IAE7C,0DAA0D;IAC1D,wGAAqC,CAAA;IAErC,6DAA6D;IAC7D,kFAAiE,CAAA;IAEjE,sEAAsE;IACtE,6EAAmC,CAAA;IAEnC,sEAAsE;IACtE,kGAAyE,CAAA;AAC7E,CAAC,EAzGiB,cAAc,8BAAd,cAAc,QAyG/B"}

package/dist/analyzer/typeUtils.d.ts

@@ -161,7 +161,7 @@ export declare function getMembersForClass(classType: ClassType, symbolTable: Sy
 export declare function getMembersForModule(moduleType: ModuleType, symbolTable: SymbolTable): void;
 export declare function containsAnyRecursive(type: Type): boolean;
 export declare function containsAnyOrUnknown(type: Type, recurse: boolean): AnyType | UnknownType | undefined;
-export declare function isPartlyUnknown(type: Type, allowUnknownTypeArgsForClasses?: boolean, recursionCount?: number): boolean;
+export declare function isPartlyUnknown(type: Type, recursionCount?: number): boolean;
 export declare function explodeGenericClass(classType: ClassType): Type;
 export declare function combineSameSizedTuples(type: Type, tupleType: Type | undefined): Type;
 export declare function specializeTupleClass(classType: ClassType, typeArgs: TupleTypeArgument[], isTypeArgumentExplicit?: boolean, isUnpackedTuple?: boolean): ClassType;

package/dist/analyzer/typeUtils.js

@@ -1998,7 +1998,7 @@ exports.containsAnyOrUnknown = containsAnyOrUnknown;
 // This function does not use the TypeWalker because it is called very frequently,
 // and allocating a memory walker object for every call significantly increases
 // peak memory usage.
-function isPartlyUnknown(type, allowUnknownTypeArgsForClasses = false, recursionCount = 0) {
+function isPartlyUnknown(type, recursionCount = 0) {
     var _a, _b;
     if (recursionCount > types_1.maxTypeRecursionCount) {
         return false;
@@ -2010,25 +2010,27 @@ function isPartlyUnknown(type, allowUnknownTypeArgsForClasses = false, recursion
     // If this is a generic type alias, see if any of its type arguments
     // are either unspecified or are partially known.
     if ((_a = type.typeAliasInfo) === null || _a === void 0 ? void 0 : _a.typeArguments) {
-        if (type.typeAliasInfo.typeArguments.some((typeArg) => isPartlyUnknown(typeArg, allowUnknownTypeArgsForClasses, recursionCount))) {
+        if (type.typeAliasInfo.typeArguments.some((typeArg) => isPartlyUnknown(typeArg, recursionCount))) {
             return true;
         }
     }
     // See if a union contains an unknown type.
     if ((0, types_1.isUnion)(type)) {
-        return ((0, types_1.findSubtype)(type, (subtype) => isPartlyUnknown(subtype, allowUnknownTypeArgsForClasses, recursionCount)) !==
-            undefined);
+        return (0, types_1.findSubtype)(type, (subtype) => isPartlyUnknown(subtype, recursionCount)) !== undefined;
     }
     // See if an object or class has an unknown type argument.
     if ((0, types_1.isClass)(type)) {
-        if (types_1.TypeBase.isInstance(type)) {
-            allowUnknownTypeArgsForClasses = false;
+        // If this is a reference to the class itself, as opposed to a reference
+        // to a type that represents the class and its subclasses, don't flag
+        // the type as partially unknown.
+        if (!type.includeSubclasses) {
+            return false;
         }
-        if (!allowUnknownTypeArgsForClasses && !types_1.ClassType.isPseudoGenericClass(type)) {
+        if (!types_1.ClassType.isPseudoGenericClass(type)) {
             const typeArgs = ((_b = type.tupleTypeArguments) === null || _b === void 0 ? void 0 : _b.map((t) => t.type)) || type.typeArguments;
             if (typeArgs) {
                 for (const argType of typeArgs) {
-                    if (isPartlyUnknown(argType, allowUnknownTypeArgsForClasses, recursionCount)) {
+                    if (isPartlyUnknown(argType, recursionCount)) {
                         return true;
                     }
                 }
@@ -2039,7 +2041,7 @@ function isPartlyUnknown(type, allowUnknownTypeArgsForClasses = false, recursion
     // See if a function has an unknown type.
     if ((0, types_1.isOverloadedFunction)(type)) {
         return types_1.OverloadedFunctionType.getOverloads(type).some((overload) => {
-            return isPartlyUnknown(overload, /* allowUnknownTypeArgsForClasses */ false, recursionCount);
+            return isPartlyUnknown(overload, recursionCount);
         });
     }
     if ((0, types_1.isFunction)(type)) {
@@ -2047,14 +2049,14 @@ function isPartlyUnknown(type, allowUnknownTypeArgsForClasses = false, recursion
             // Ignore parameters such as "*" that have no name.
             if (type.details.parameters[i].name) {
                 const paramType = types_1.FunctionType.getEffectiveParameterType(type, i);
-                if (isPartlyUnknown(paramType, /* allowUnknownTypeArgsForClasses */ false, recursionCount)) {
+                if (isPartlyUnknown(paramType, recursionCount)) {
                     return true;
                 }
             }
         }
         if (type.details.declaredReturnType &&
             !types_1.FunctionType.isParamSpecValue(type) &&
-            isPartlyUnknown(type.details.declaredReturnType, /* allowUnknownTypeArgsForClasses */ false, recursionCount)) {
+            isPartlyUnknown(type.details.declaredReturnType, recursionCount)) {
             return true;
         }
         return false;
@@ -2812,7 +2814,9 @@ class TypeVarTransformer {
     transformTypeVarsInClassType(classType, recursionCount) {
         const typeParams = types_1.ClassType.getTypeParameters(classType);
         // Handle the common case where the class has no type parameters.
-        if (typeParams.length === 0 && !types_1.ClassType.isSpecialBuiltIn(classType)) {
+        if (typeParams.length === 0 &&
+            !types_1.ClassType.isSpecialBuiltIn(classType) &&
+            !types_1.ClassType.isBuiltIn(classType, 'type')) {
             return classType;
         }
         let newTypeArgs;