@zzzen/pyright-internal 1.1.255 → 1.2.0-dev.20220703

package/dist/analyzer/typeEvaluatorTypes.d.ts

@@ -81,7 +81,6 @@ export interface AbstractMethod {
     symbol: Symbol;
     symbolName: string;
     classType: Type;
-    isAbstract: boolean;
 }
 export interface FunctionArgumentBase {
     argumentCategory: ArgumentCategory;
@@ -196,12 +195,14 @@ export interface TypeEvaluator {
     assignType: (destType: Type, srcType: Type, diag?: DiagnosticAddendum, destTypeVarContext?: TypeVarContext, srcTypeVarContext?: TypeVarContext, flags?: AssignTypeFlags, recursionCount?: number) => boolean;
     validateOverrideMethod: (baseMethod: Type, overrideMethod: FunctionType, diag: DiagnosticAddendum, enforceParamNames?: boolean) => boolean;
     assignTypeToExpression: (target: ExpressionNode, type: Type, isTypeIncomplete: boolean, srcExpr: ExpressionNode) => void;
+    assignClassToSelf: (destType: ClassType, srcType: ClassType) => boolean;
     getBuiltInObject: (node: ParseNode, name: string, typeArguments?: Type[]) => Type;
     getTypedDictClassType: () => Type | undefined;
     getTupleClassType: () => Type | undefined;
     getObjectType: () => Type | undefined;
     getTypingType: (node: ParseNode, symbolName: string) => Type | undefined;
     inferReturnTypeIfNecessary: (type: Type) => void;
+    inferTypeParameterVarianceForClass: (type: ClassType) => void;
     verifyTypeArgumentsAssignable: (destType: ClassType, srcType: ClassType, diag: DiagnosticAddendum | undefined, destTypeVarContext: TypeVarContext | undefined, srcTypeVarContext: TypeVarContext | undefined, flags: AssignTypeFlags, recursionCount: number) => boolean;
     addError: (message: string, node: ParseNode) => Diagnostic | undefined;
     addWarning: (message: string, node: ParseNode) => Diagnostic | undefined;

package/dist/analyzer/typeEvaluatorTypes.js

@@ -9,8 +9,72 @@
  *
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.maxSubtypesForInferredType = void 0;
+exports.EvaluatorFlags = exports.maxSubtypesForInferredType = void 0;
 // Maximum number of unioned subtypes for an inferred type (e.g.
 // a list) before the type is considered an "Any".
 exports.maxSubtypesForInferredType = 64;
+var EvaluatorFlags;
+(function (EvaluatorFlags) {
+    EvaluatorFlags[EvaluatorFlags["None"] = 0] = "None";
+    // Interpret an ellipsis type annotation to mean "Any".
+    EvaluatorFlags[EvaluatorFlags["ConvertEllipsisToAny"] = 1] = "ConvertEllipsisToAny";
+    // Normally a generic named type is specialized with "Any"
+    // types. This flag indicates that specialization shouldn't take
+    // place.
+    EvaluatorFlags[EvaluatorFlags["DoNotSpecialize"] = 2] = "DoNotSpecialize";
+    // Allow forward references. Don't report unbound errors.
+    EvaluatorFlags[EvaluatorFlags["AllowForwardReferences"] = 4] = "AllowForwardReferences";
+    // Treat string literal as a type.
+    EvaluatorFlags[EvaluatorFlags["EvaluateStringLiteralAsType"] = 8] = "EvaluateStringLiteralAsType";
+    // 'Final' is not allowed in this context.
+    EvaluatorFlags[EvaluatorFlags["FinalDisallowed"] = 16] = "FinalDisallowed";
+    // A ParamSpec isn't allowed in this context.
+    EvaluatorFlags[EvaluatorFlags["ParamSpecDisallowed"] = 32] = "ParamSpecDisallowed";
+    // Expression is expected to be a type (class) rather
+    // than an instance (object)
+    EvaluatorFlags[EvaluatorFlags["ExpectingType"] = 64] = "ExpectingType";
+    // A TypeVarTuple isn't allowed in this context.
+    EvaluatorFlags[EvaluatorFlags["TypeVarTupleDisallowed"] = 128] = "TypeVarTupleDisallowed";
+    // Interpret an ellipsis type annotation to mean "Unknown".
+    EvaluatorFlags[EvaluatorFlags["ConvertEllipsisToUnknown"] = 256] = "ConvertEllipsisToUnknown";
+    // The Generic class type is allowed in this context. It is
+    // normally not allowed if ExpectingType is set.
+    EvaluatorFlags[EvaluatorFlags["AllowGenericClassType"] = 512] = "AllowGenericClassType";
+    // A type annotation restricts the types of expressions that are
+    // allowed. If this flag is set, illegal type expressions are
+    // flagged as errors.
+    EvaluatorFlags[EvaluatorFlags["ExpectingTypeAnnotation"] = 1024] = "ExpectingTypeAnnotation";
+    // TypeVars within this expression must not refer to type vars
+    // used in an outer scope that.
+    EvaluatorFlags[EvaluatorFlags["DisallowTypeVarsWithScopeId"] = 2048] = "DisallowTypeVarsWithScopeId";
+    // TypeVars within this expression must refer to type vars
+    // used in an outer scope that.
+    EvaluatorFlags[EvaluatorFlags["DisallowTypeVarsWithoutScopeId"] = 4096] = "DisallowTypeVarsWithoutScopeId";
+    // TypeVars within this expression that are otherwise not
+    // associated with an outer scope should be associated with
+    // the containing function's scope.
+    EvaluatorFlags[EvaluatorFlags["AssociateTypeVarsWithCurrentScope"] = 8192] = "AssociateTypeVarsWithCurrentScope";
+    // Used for PEP 526-style variable type annotations
+    EvaluatorFlags[EvaluatorFlags["VariableTypeAnnotation"] = 32768] = "VariableTypeAnnotation";
+    // Emit an error if an incomplete recursive type alias is
+    // used in this context.
+    EvaluatorFlags[EvaluatorFlags["DisallowRecursiveTypeAliasPlaceholder"] = 65536] = "DisallowRecursiveTypeAliasPlaceholder";
+    // 'ClassVar' is not allowed in this context.
+    EvaluatorFlags[EvaluatorFlags["ClassVarDisallowed"] = 131072] = "ClassVarDisallowed";
+    // 'Generic' cannot be used without type arguments in this context.
+    EvaluatorFlags[EvaluatorFlags["DisallowNakedGeneric"] = 262144] = "DisallowNakedGeneric";
+    // The node is not parsed by the interpreter because it is within
+    // a comment or a string literal.
+    EvaluatorFlags[EvaluatorFlags["NotParsedByInterpreter"] = 524288] = "NotParsedByInterpreter";
+    // Required and NotRequired are allowed in this context.
+    EvaluatorFlags[EvaluatorFlags["RequiredAllowed"] = 1048576] = "RequiredAllowed";
+    // Allow Unpack annotation for a tuple or TypeVarTuple.
+    EvaluatorFlags[EvaluatorFlags["AllowUnpackedTupleOrTypeVarTuple"] = 2097152] = "AllowUnpackedTupleOrTypeVarTuple";
+    // Even though an expression is enclosed in a string literal,
+    // the interpreter (within a source file, not a stub) still
+    // parses the expression and generates parse errors.
+    EvaluatorFlags[EvaluatorFlags["InterpreterParsesStringLiteral"] = 4194304] = "InterpreterParsesStringLiteral";
+    // Allow Unpack annotation for TypedDict.
+    EvaluatorFlags[EvaluatorFlags["AllowUnpackedTypedDict"] = 8388608] = "AllowUnpackedTypedDict";
+})(EvaluatorFlags = exports.EvaluatorFlags || (exports.EvaluatorFlags = {}));
 //# sourceMappingURL=typeEvaluatorTypes.js.map

package/dist/analyzer/typeEvaluatorTypes.js.map

@@ -1 +1 @@
-{"version":3,"file":"typeEvaluatorTypes.js","sourceRoot":"","sources":["../../../src/analyzer/typeEvaluatorTypes.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAwCH,gEAAgE;AAChE,kDAAkD;AACrC,QAAA,0BAA0B,GAAG,EAAE,CAAC"}
+{"version":3,"file":"typeEvaluatorTypes.js","sourceRoot":"","sources":["../../../src/analyzer/typeEvaluatorTypes.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAwCH,gEAAgE;AAChE,kDAAkD;AACrC,QAAA,0BAA0B,GAAG,EAAE,CAAC;AAE7C,IAAkB,cAqFjB;AArFD,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,0EAAwB,CAAA;IAExB,6CAA6C;IAC7C,kFAA4B,CAAA;IAE5B,qDAAqD;IACrD,4BAA4B;IAC5B,sEAAsB,CAAA;IAEtB,gDAAgD;IAChD,yFAA+B,CAAA;IAE/B,2DAA2D;IAC3D,6FAAiC,CAAA;IAEjC,2DAA2D;IAC3D,gDAAgD;IAChD,uFAA8B,CAAA;IAE9B,gEAAgE;IAChE,6DAA6D;IAC7D,qBAAqB;IACrB,4FAAiC,CAAA;IAEjC,8DAA8D;IAC9D,+BAA+B;IAC/B,oGAAqC,CAAA;IAErC,0DAA0D;IAC1D,+BAA+B;IAC/B,0GAAwC,CAAA;IAExC,yDAAyD;IACzD,2DAA2D;IAC3D,mCAAmC;IACnC,gHAA2C,CAAA;IAE3C,mDAAmD;IACnD,2FAAgC,CAAA;IAEhC,yDAAyD;IACzD,wBAAwB;IACxB,yHAA+C,CAAA;IAE/C,6CAA6C;IAC7C,oFAA4B,CAAA;IAE5B,mEAAmE;IACnE,wFAA8B,CAAA;IAE9B,iEAAiE;IACjE,iCAAiC;IACjC,4FAAgC,CAAA;IAEhC,wDAAwD;IACxD,+EAAyB,CAAA;IAEzB,uDAAuD;IACvD,iHAA0C,CAAA;IAE1C,6DAA6D;IAC7D,2DAA2D;IAC3D,oDAAoD;IACpD,6GAAwC,CAAA;IAExC,yCAAyC;IACzC,6FAAgC,CAAA;AACpC,CAAC,EArFiB,cAAc,GAAd,sBAAc,KAAd,sBAAc,QAqF/B"}

package/dist/analyzer/typeEvaluatorWithTracker.js

@@ -93,12 +93,14 @@ function createTypeEvaluatorWithTracker(importLookup, evaluatorOptions, logger,
         assignType: (d, s, a, dc, sc, f, r) => run('assignType', () => typeEvaluator.assignType(d, s, a, dc, sc, f, r), d),
         validateOverrideMethod: (b, o, d, e) => run('validateOverrideMethod', () => typeEvaluator.validateOverrideMethod(b, o, d, e), o),
         assignTypeToExpression: typeEvaluator.assignTypeToExpression,
+        assignClassToSelf: typeEvaluator.assignClassToSelf,
         getBuiltInObject: typeEvaluator.getBuiltInObject,
         getTypedDictClassType: typeEvaluator.getTypedDictClassType,
         getTupleClassType: typeEvaluator.getTupleClassType,
         getObjectType: typeEvaluator.getObjectType,
         getTypingType: typeEvaluator.getTypingType,
         inferReturnTypeIfNecessary: typeEvaluator.inferReturnTypeIfNecessary,
+        inferTypeParameterVarianceForClass: typeEvaluator.inferTypeParameterVarianceForClass,
         verifyTypeArgumentsAssignable: typeEvaluator.verifyTypeArgumentsAssignable,
         addError: (m, n) => run('addError', () => typeEvaluator.addError(m, n), n),
         addWarning: (m, n) => run('addWarning', () => typeEvaluator.addWarning(m, n), n),

package/dist/analyzer/typeEvaluatorWithTracker.js.map

@@ -1 +1 @@
-{"version":3,"file":"typeEvaluatorWithTracker.js","sourceRoot":"","sources":["../../../src/analyzer/typeEvaluatorWithTracker.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AAEH,yCAA6C;AAE7C,6CAA+C;AAG/C,mDAAwE;AAGxE,sFAAsF;AACtF,SAAgB,8BAA8B,CAC1C,YAA0B,EAC1B,gBAAkC,EAClC,MAAkB,EAClB,OAAsB;IAEtB,IAAI,CAAC,gBAAgB,CAAC,QAAQ,IAAI,IAAA,kBAAW,GAAE,EAAE;QAC7C,OAAO,IAAA,mCAAmB,EAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;KAC9D;IAED,SAAS,GAAG,CAAI,KAAa,EAAE,QAAiB,EAAE,KAAqB;QACnE,OAAO,gBAAgB,CAAC,QAAQ;YAC5B,CAAC,CAAC,MAAM,CAAC,GAAG,CACN,KAAK,EACL,CAAC,CAAC,EAAE,EAAE;gBACF,CAAC,CAAC,GAAG,CAAC,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC7B,OAAO,oBAAW,CAAC,kBAAkB,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;YAClE,CAAC,EACD,gBAAgB,CAAC,uBAAuB,EACxC,IAAI,CACP;YACH,CAAC,CAAC,oBAAW,CAAC,kBAAkB,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,MAAM,GAAiB,gBAAgB,CAAC,QAAQ;QAClD,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CACT,MAAM,CAAC,GAAG,CACN,eAAe,EACf,CAAC,CAAC,EAAE,EAAE;YACF,CAAC,CAAC,GAAG,CAAC,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAAC;YAChD,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC,EACD,gBAAgB,CAAC,uBAAuB,EACxC,IAAI,CACP;QACP,CAAC,CAAC,YAAY,CAAC;IAEnB,MAAM,aAAa,GAAG,IAAA,mCAAmB,EAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAEpE,MAAM,WAAW,GAAkB;QAC/B,wBAAwB,EAAE,aAAa,CAAC,wBAAwB;QAChE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjE,mBAAmB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAC7B,GAAG,CAAC,qBAAqB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACnF,mBAAmB,EAAE,aAAa,CAAC,mBAAmB;QACtD,cAAc,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtF,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/F,gCAAgC,EAAE,aAAa,CAAC,gCAAgC;QAChF,sBAAsB,EAAE,aAAa,CAAC,sBAAsB;QAC5D,yBAAyB,EAAE,CAAC,CAAC,EAAE,EAAE,CAC7B,GAAG,CAAC,2BAA2B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,8BAA8B,EAAE,aAAa,CAAC,8BAA8B;QAC5E,6BAA6B,EAAE,aAAa,CAAC,6BAA6B;QAC1E,uBAAuB,EAAE,aAAa,CAAC,uBAAuB;QAC9D,WAAW,EAAE,aAAa,CAAC,WAAW;QACtC,UAAU,EAAE,aAAa,CAAC,UAAU;QACpC,wBAAwB,EAAE,aAAa,CAAC,wBAAwB;QAChE,uBAAuB,EAAE,aAAa,CAAC,uBAAuB;QAC9D,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,wBAAwB,EAAE,CAAC,CAAC,EAAE,EAAE,CAC5B,GAAG,CAAC,0BAA0B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvF,sBAAsB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,wBAAwB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9G,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxG,eAAe,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/F,gCAAgC,EAAE,aAAa,CAAC,gCAAgC;QAChF,mBAAmB,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CACpC,GAAG,CAAC,qBAAqB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvF,4BAA4B,EAAE,CAAC,CAAC,EAAE,EAAE,CAChC,GAAG,CAAC,8BAA8B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,4BAA4B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/F,0BAA0B,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACjC,GAAG,CAAC,4BAA4B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,0BAA0B,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9F,qBAAqB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,uBAAuB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3G,uBAAuB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACjC,GAAG,CAAC,yBAAyB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,uBAAuB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3F,+BAA+B,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACzC,GAAG,CAAC,iCAAiC,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,+BAA+B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3G,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3G,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3G,yBAAyB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAChC,GAAG,CAAC,2BAA2B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,yBAAyB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5F,iBAAiB,EAAE,aAAa,CAAC,iBAAiB;QAClD,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACrG,iBAAiB,EAAE,aAAa,CAAC,iBAAiB;QAClD,4BAA4B,EAAE,CAAC,CAAC,EAAE,EAAE,CAChC,GAAG,CAAC,8BAA8B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,4BAA4B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/F,yBAAyB,EAAE,aAAa,CAAC,yBAAyB;QAClE,qBAAqB,EAAE,aAAa,CAAC,qBAAqB;QAC1D,uBAAuB,EAAE,aAAa,CAAC,uBAAuB;QAC9D,wBAAwB,EAAE,CAAC,CAAC,EAAE,EAAE,CAC5B,GAAG,CAAC,0BAA0B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvF,gCAAgC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAC1C,GAAG,CAAC,kCAAkC,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,gCAAgC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7G,4BAA4B,EAAE,aAAa,CAAC,4BAA4B;QACxE,4BAA4B,EAAE,aAAa,CAAC,4BAA4B;QACxE,6BAA6B,EAAE,CAAC,CAAC,EAAE,EAAE,CACjC,GAAG,CAAC,+BAA+B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjG,6BAA6B,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACpC,GAAG,CAAC,+BAA+B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACpG,2BAA2B,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,2BAA2B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5F,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5F,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;QAChG,qBAAqB,EAAE,aAAa,CAAC,qBAAqB;QAC1D,cAAc,EAAE,aAAa,CAAC,cAAc;QAC5C,0BAA0B,EAAE,aAAa,CAAC,0BAA0B;QACpE,2BAA2B,EAAE,aAAa,CAAC,2BAA2B;QACtE,oBAAoB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAC9B,GAAG,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACrF,kBAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,oBAAoB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClG,wBAAwB,EAAE,aAAa,CAAC,wBAAwB;QAChE,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAClC,GAAG,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/E,sBAAsB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACnC,GAAG,CAAC,wBAAwB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5F,sBAAsB,EAAE,aAAa,CAAC,sBAAsB;QAC5D,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;QAChD,qBAAqB,EAAE,aAAa,CAAC,qBAAqB;QAC1D,iBAAiB,EAAE,aAAa,CAAC,iBAAiB;QAClD,aAAa,EAAE,aAAa,CAAC,aAAa;QAC1C,aAAa,EAAE,aAAa,CAAC,aAAa;QAC1C,0BAA0B,EAAE,aAAa,CAAC,0BAA0B;QACpE,6BAA6B,EAAE,aAAa,CAAC,6BAA6B;QAC1E,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1E,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAChF,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5F,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACrG,yBAAyB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACzC,GAAG,CAAC,2BAA2B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,yBAAyB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClG,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7E,kBAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,oBAAoB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClG,sBAAsB,EAAE,aAAa,CAAC,sBAAsB;QAC5D,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;QAChD,kBAAkB,EAAE,aAAa,CAAC,kBAAkB;QACpD,cAAc,EAAE,aAAa,CAAC,cAAc;QAC5C,oBAAoB,EAAE,aAAa,CAAC,oBAAoB;KAC3D,CAAC;IAEF,OAAO,WAAW,CAAC;AACvB,CAAC;AA3ID,wEA2IC"}
+{"version":3,"file":"typeEvaluatorWithTracker.js","sourceRoot":"","sources":["../../../src/analyzer/typeEvaluatorWithTracker.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AAEH,yCAA6C;AAE7C,6CAA+C;AAG/C,mDAAwE;AAGxE,sFAAsF;AACtF,SAAgB,8BAA8B,CAC1C,YAA0B,EAC1B,gBAAkC,EAClC,MAAkB,EAClB,OAAsB;IAEtB,IAAI,CAAC,gBAAgB,CAAC,QAAQ,IAAI,IAAA,kBAAW,GAAE,EAAE;QAC7C,OAAO,IAAA,mCAAmB,EAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;KAC9D;IAED,SAAS,GAAG,CAAI,KAAa,EAAE,QAAiB,EAAE,KAAqB;QACnE,OAAO,gBAAgB,CAAC,QAAQ;YAC5B,CAAC,CAAC,MAAM,CAAC,GAAG,CACN,KAAK,EACL,CAAC,CAAC,EAAE,EAAE;gBACF,CAAC,CAAC,GAAG,CAAC,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC7B,OAAO,oBAAW,CAAC,kBAAkB,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;YAClE,CAAC,EACD,gBAAgB,CAAC,uBAAuB,EACxC,IAAI,CACP;YACH,CAAC,CAAC,oBAAW,CAAC,kBAAkB,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,MAAM,GAAiB,gBAAgB,CAAC,QAAQ;QAClD,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CACT,MAAM,CAAC,GAAG,CACN,eAAe,EACf,CAAC,CAAC,EAAE,EAAE;YACF,CAAC,CAAC,GAAG,CAAC,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAAC;YAChD,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC,EACD,gBAAgB,CAAC,uBAAuB,EACxC,IAAI,CACP;QACP,CAAC,CAAC,YAAY,CAAC;IAEnB,MAAM,aAAa,GAAG,IAAA,mCAAmB,EAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAEpE,MAAM,WAAW,GAAkB;QAC/B,wBAAwB,EAAE,aAAa,CAAC,wBAAwB;QAChE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjE,mBAAmB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAC7B,GAAG,CAAC,qBAAqB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACnF,mBAAmB,EAAE,aAAa,CAAC,mBAAmB;QACtD,cAAc,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtF,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/F,gCAAgC,EAAE,aAAa,CAAC,gCAAgC;QAChF,sBAAsB,EAAE,aAAa,CAAC,sBAAsB;QAC5D,yBAAyB,EAAE,CAAC,CAAC,EAAE,EAAE,CAC7B,GAAG,CAAC,2BAA2B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,8BAA8B,EAAE,aAAa,CAAC,8BAA8B;QAC5E,6BAA6B,EAAE,aAAa,CAAC,6BAA6B;QAC1E,uBAAuB,EAAE,aAAa,CAAC,uBAAuB;QAC9D,WAAW,EAAE,aAAa,CAAC,WAAW;QACtC,UAAU,EAAE,aAAa,CAAC,UAAU;QACpC,wBAAwB,EAAE,aAAa,CAAC,wBAAwB;QAChE,uBAAuB,EAAE,aAAa,CAAC,uBAAuB;QAC9D,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,wBAAwB,EAAE,CAAC,CAAC,EAAE,EAAE,CAC5B,GAAG,CAAC,0BAA0B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvF,sBAAsB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,wBAAwB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9G,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxG,eAAe,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/F,gCAAgC,EAAE,aAAa,CAAC,gCAAgC;QAChF,mBAAmB,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CACpC,GAAG,CAAC,qBAAqB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvF,4BAA4B,EAAE,CAAC,CAAC,EAAE,EAAE,CAChC,GAAG,CAAC,8BAA8B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,4BAA4B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/F,0BAA0B,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACjC,GAAG,CAAC,4BAA4B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,0BAA0B,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9F,qBAAqB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,uBAAuB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3G,uBAAuB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACjC,GAAG,CAAC,yBAAyB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,uBAAuB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3F,+BAA+B,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACzC,GAAG,CAAC,iCAAiC,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,+BAA+B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3G,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3G,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3G,yBAAyB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAChC,GAAG,CAAC,2BAA2B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,yBAAyB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5F,iBAAiB,EAAE,aAAa,CAAC,iBAAiB;QAClD,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACrG,iBAAiB,EAAE,aAAa,CAAC,iBAAiB;QAClD,4BAA4B,EAAE,CAAC,CAAC,EAAE,EAAE,CAChC,GAAG,CAAC,8BAA8B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,4BAA4B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/F,yBAAyB,EAAE,aAAa,CAAC,yBAAyB;QAClE,qBAAqB,EAAE,aAAa,CAAC,qBAAqB;QAC1D,uBAAuB,EAAE,aAAa,CAAC,uBAAuB;QAC9D,wBAAwB,EAAE,CAAC,CAAC,EAAE,EAAE,CAC5B,GAAG,CAAC,0BAA0B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvF,gCAAgC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAC1C,GAAG,CAAC,kCAAkC,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,gCAAgC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7G,4BAA4B,EAAE,aAAa,CAAC,4BAA4B;QACxE,4BAA4B,EAAE,aAAa,CAAC,4BAA4B;QACxE,6BAA6B,EAAE,CAAC,CAAC,EAAE,EAAE,CACjC,GAAG,CAAC,+BAA+B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjG,6BAA6B,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACpC,GAAG,CAAC,+BAA+B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACpG,2BAA2B,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,2BAA2B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5F,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5F,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;QAChG,qBAAqB,EAAE,aAAa,CAAC,qBAAqB;QAC1D,cAAc,EAAE,aAAa,CAAC,cAAc;QAC5C,0BAA0B,EAAE,aAAa,CAAC,0BAA0B;QACpE,2BAA2B,EAAE,aAAa,CAAC,2BAA2B;QACtE,oBAAoB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAC9B,GAAG,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACrF,kBAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,oBAAoB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClG,wBAAwB,EAAE,aAAa,CAAC,wBAAwB;QAChE,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAClC,GAAG,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/E,sBAAsB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACnC,GAAG,CAAC,wBAAwB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5F,sBAAsB,EAAE,aAAa,CAAC,sBAAsB;QAC5D,iBAAiB,EAAE,aAAa,CAAC,iBAAiB;QAClD,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;QAChD,qBAAqB,EAAE,aAAa,CAAC,qBAAqB;QAC1D,iBAAiB,EAAE,aAAa,CAAC,iBAAiB;QAClD,aAAa,EAAE,aAAa,CAAC,aAAa;QAC1C,aAAa,EAAE,aAAa,CAAC,aAAa;QAC1C,0BAA0B,EAAE,aAAa,CAAC,0BAA0B;QACpE,kCAAkC,EAAE,aAAa,CAAC,kCAAkC;QACpF,6BAA6B,EAAE,aAAa,CAAC,6BAA6B;QAC1E,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1E,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAChF,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5F,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACrG,yBAAyB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACzC,GAAG,CAAC,2BAA2B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,yBAAyB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClG,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7E,kBAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,oBAAoB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClG,sBAAsB,EAAE,aAAa,CAAC,sBAAsB;QAC5D,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;QAChD,kBAAkB,EAAE,aAAa,CAAC,kBAAkB;QACpD,cAAc,EAAE,aAAa,CAAC,cAAc;QAC5C,oBAAoB,EAAE,aAAa,CAAC,oBAAoB;KAC3D,CAAC;IAEF,OAAO,WAAW,CAAC;AACvB,CAAC;AA7ID,wEA6IC"}

package/dist/analyzer/typeGuards.d.ts

@@ -3,4 +3,6 @@ import { TypeEvaluator } from './typeEvaluatorTypes';
 import { ClassType, Type } from './types';
 export declare type TypeNarrowingCallback = (type: Type) => Type | undefined;
 export declare function getTypeNarrowingCallback(evaluator: TypeEvaluator, reference: ExpressionNode, testExpression: ExpressionNode, isPositiveTest: boolean, recursionCount?: number): TypeNarrowingCallback | undefined;
+export declare function isIsinstanceFilterSuperclass(evaluator: TypeEvaluator, varType: ClassType, filterType: Type, concreteFilterType: ClassType, isInstanceCheck: boolean): boolean;
+export declare function isIsinstanceFilterSubclass(evaluator: TypeEvaluator, varType: ClassType, filterType: Type, concreteFilterType: ClassType, isInstanceCheck: boolean): boolean;
 export declare function enumerateLiteralsForType(evaluator: TypeEvaluator, type: ClassType): ClassType[] | undefined;

package/dist/analyzer/typeGuards.js

@@ -29,7 +29,7 @@ var __importStar = (this && this.__importStar) || function (mod) {
     return result;
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.enumerateLiteralsForType = exports.getTypeNarrowingCallback = void 0;
+exports.enumerateLiteralsForType = exports.isIsinstanceFilterSubclass = exports.isIsinstanceFilterSuperclass = exports.getTypeNarrowingCallback = void 0;
 const parseNodes_1 = require("../parser/parseNodes");
 const analyzerNodeInfo_1 = require("./analyzerNodeInfo");
 const constraintSolver_1 = require("./constraintSolver");
@@ -94,18 +94,18 @@ function getTypeNarrowingCallback(evaluator, reference, testExpression, isPositi
             }
             // Look for "type(X) is Y" or "type(X) is not Y".
             if (isOrIsNotOperator && testExpression.leftExpression.nodeType === 9 /* Call */) {
-                const callType = evaluator.getTypeOfExpression(testExpression.leftExpression.leftExpression, 2 /* DoNotSpecialize */).type;
-                if ((0, types_1.isInstantiableClass)(callType) &&
-                    types_1.ClassType.isBuiltIn(callType, 'type') &&
-                    testExpression.leftExpression.arguments.length === 1 &&
+                if (testExpression.leftExpression.arguments.length === 1 &&
                     testExpression.leftExpression.arguments[0].argumentCategory === 0 /* Simple */) {
                     const arg0Expr = testExpression.leftExpression.arguments[0].valueExpression;
                     if (ParseTreeUtils.isMatchingExpression(reference, arg0Expr)) {
-                        const classType = evaluator.makeTopLevelTypeVarsConcrete(evaluator.getTypeOfExpression(testExpression.rightExpression).type);
-                        if ((0, types_1.isInstantiableClass)(classType)) {
-                            return (type) => {
-                                return narrowTypeForTypeIs(type, classType, adjIsPositiveTest);
-                            };
+                        const callType = evaluator.getTypeOfExpression(testExpression.leftExpression.leftExpression, 2 /* DoNotSpecialize */).type;
+                        if ((0, types_1.isInstantiableClass)(callType) && types_1.ClassType.isBuiltIn(callType, 'type')) {
+                            const classType = evaluator.makeTopLevelTypeVarsConcrete(evaluator.getTypeOfExpression(testExpression.rightExpression).type);
+                            if ((0, types_1.isInstantiableClass)(classType)) {
+                                return (type) => {
+                                    return narrowTypeForTypeIs(type, classType, adjIsPositiveTest);
+                                };
+                            }
                         }
                     }
                 }
@@ -255,63 +255,65 @@ function getTypeNarrowingCallback(evaluator, reference, testExpression, isPositi
         }
     }
     if (testExpression.nodeType === 9 /* Call */) {
-        const callType = evaluator.getTypeOfExpression(testExpression.leftExpression, 2 /* DoNotSpecialize */).type;
         // Look for "isinstance(X, Y)" or "issubclass(X, Y)".
-        if ((0, types_1.isFunction)(callType) &&
-            (callType.details.builtInName === 'isinstance' || callType.details.builtInName === 'issubclass') &&
-            testExpression.arguments.length === 2) {
+        if (testExpression.arguments.length === 2) {
             // Make sure the first parameter is a supported expression type
             // and the second parameter is a valid class type or a tuple
             // of valid class types.
-            const isInstanceCheck = callType.details.builtInName === 'isinstance';
             const arg0Expr = testExpression.arguments[0].valueExpression;
             const arg1Expr = testExpression.arguments[1].valueExpression;
             if (ParseTreeUtils.isMatchingExpression(reference, arg0Expr)) {
-                const arg1Type = evaluator.getTypeOfExpression(arg1Expr, 8 /* EvaluateStringLiteralAsType */ |
-                    32 /* ParamSpecDisallowed */ |
-                    128 /* TypeVarTupleDisallowed */).type;
-                const classTypeList = getIsInstanceClassTypes(arg1Type);
-                if (classTypeList) {
-                    return (type) => {
-                        const narrowedType = narrowTypeForIsInstance(evaluator, type, classTypeList, isInstanceCheck, isPositiveTest, 
-                        /* allowIntersections */ false, testExpression);
-                        if (!(0, types_1.isNever)(narrowedType)) {
-                            return narrowedType;
-                        }
-                        // Try again with intersection types allowed.
-                        return narrowTypeForIsInstance(evaluator, type, classTypeList, isInstanceCheck, isPositiveTest, 
-                        /* allowIntersections */ true, testExpression);
-                    };
+                const callType = evaluator.getTypeOfExpression(testExpression.leftExpression, 2 /* DoNotSpecialize */).type;
+                if ((0, types_1.isFunction)(callType) &&
+                    (callType.details.builtInName === 'isinstance' || callType.details.builtInName === 'issubclass')) {
+                    const isInstanceCheck = callType.details.builtInName === 'isinstance';
+                    const arg1Type = evaluator.getTypeOfExpression(arg1Expr, 8 /* EvaluateStringLiteralAsType */ |
+                        32 /* ParamSpecDisallowed */ |
+                        128 /* TypeVarTupleDisallowed */).type;
+                    const classTypeList = getIsInstanceClassTypes(arg1Type);
+                    if (classTypeList) {
+                        return (type) => {
+                            const narrowedType = narrowTypeForIsInstance(evaluator, type, classTypeList, isInstanceCheck, isPositiveTest, 
+                            /* allowIntersections */ false, testExpression);
+                            if (!(0, types_1.isNever)(narrowedType)) {
+                                return narrowedType;
+                            }
+                            // Try again with intersection types allowed.
+                            return narrowTypeForIsInstance(evaluator, type, classTypeList, isInstanceCheck, isPositiveTest, 
+                            /* allowIntersections */ true, testExpression);
+                        };
+                    }
                 }
             }
         }
         // Look for "callable(X)"
-        if ((0, types_1.isFunction)(callType) &&
-            callType.details.builtInName === 'callable' &&
-            testExpression.arguments.length === 1) {
+        if (testExpression.arguments.length === 1) {
             const arg0Expr = testExpression.arguments[0].valueExpression;
             if (ParseTreeUtils.isMatchingExpression(reference, arg0Expr)) {
-                return (type) => {
-                    let narrowedType = narrowTypeForCallable(evaluator, type, isPositiveTest, testExpression, 
-                    /* allowIntersections */ false);
-                    if (isPositiveTest && (0, types_1.isNever)(narrowedType)) {
-                        // Try again with intersections allowed.
-                        narrowedType = narrowTypeForCallable(evaluator, type, isPositiveTest, testExpression, 
-                        /* allowIntersections */ true);
-                    }
-                    return narrowedType;
-                };
+                const callType = evaluator.getTypeOfExpression(testExpression.leftExpression, 2 /* DoNotSpecialize */).type;
+                if ((0, types_1.isFunction)(callType) && callType.details.builtInName === 'callable') {
+                    return (type) => {
+                        let narrowedType = narrowTypeForCallable(evaluator, type, isPositiveTest, testExpression, 
+                        /* allowIntersections */ false);
+                        if (isPositiveTest && (0, types_1.isNever)(narrowedType)) {
+                            // Try again with intersections allowed.
+                            narrowedType = narrowTypeForCallable(evaluator, type, isPositiveTest, testExpression, 
+                            /* allowIntersections */ true);
+                        }
+                        return narrowedType;
+                    };
+                }
             }
         }
         // Look for "bool(X)"
-        if ((0, types_1.isInstantiableClass)(callType) &&
-            types_1.ClassType.isBuiltIn(callType, 'bool') &&
-            testExpression.arguments.length === 1 &&
-            !testExpression.arguments[0].name) {
+        if (testExpression.arguments.length === 1 && !testExpression.arguments[0].name) {
             if (ParseTreeUtils.isMatchingExpression(reference, testExpression.arguments[0].valueExpression)) {
-                return (type) => {
-                    return narrowTypeForTruthiness(evaluator, type, isPositiveTest);
-                };
+                const callType = evaluator.getTypeOfExpression(testExpression.leftExpression, 2 /* DoNotSpecialize */).type;
+                if ((0, types_1.isInstantiableClass)(callType) && types_1.ClassType.isBuiltIn(callType, 'bool')) {
+                    return (type) => {
+                        return narrowTypeForTruthiness(evaluator, type, isPositiveTest);
+                    };
+                }
             }
         }
         // Look for a TypeGuard function.
@@ -319,16 +321,27 @@ function getTypeNarrowingCallback(evaluator, reference, testExpression, isPositi
             const arg0Expr = testExpression.arguments[0].valueExpression;
             if (ParseTreeUtils.isMatchingExpression(reference, arg0Expr)) {
                 // Does this look like it's a custom type guard function?
-                if ((0, types_1.isFunction)(callType) &&
-                    callType.details.declaredReturnType &&
-                    (0, types_1.isClassInstance)(callType.details.declaredReturnType) &&
-                    types_1.ClassType.isBuiltIn(callType.details.declaredReturnType, ['TypeGuard', 'StrictTypeGuard'])) {
+                let isPossiblyTypeGuard = false;
+                const isFunctionReturnTypeGuard = (type) => {
+                    return (type.details.declaredReturnType &&
+                        (0, types_1.isClassInstance)(type.details.declaredReturnType) &&
+                        types_1.ClassType.isBuiltIn(type.details.declaredReturnType, ['TypeGuard', 'StrictTypeGuard']));
+                };
+                const callType = evaluator.getTypeOfExpression(testExpression.leftExpression, 2 /* DoNotSpecialize */).type;
+                if ((0, types_1.isFunction)(callType) && isFunctionReturnTypeGuard(callType)) {
+                    isPossiblyTypeGuard = true;
+                }
+                else if ((0, types_1.isOverloadedFunction)(callType) &&
+                    callType.overloads.some((o) => types_1.FunctionType.isOverloaded(o) && isFunctionReturnTypeGuard(o))) {
+                    isPossiblyTypeGuard = true;
+                }
+                if (isPossiblyTypeGuard) {
                     // Evaluate the type guard call expression.
                     const functionReturnType = evaluator.getTypeOfExpression(testExpression).type;
                     if ((0, types_1.isClassInstance)(functionReturnType) &&
                         types_1.ClassType.isBuiltIn(functionReturnType, 'bool') &&
                         functionReturnType.typeGuardType) {
-                        const isStrictTypeGuard = types_1.ClassType.isBuiltIn(callType.details.declaredReturnType, 'StrictTypeGuard');
+                        const isStrictTypeGuard = !!functionReturnType.isStrictTypeGuard;
                         const typeGuardType = functionReturnType.typeGuardType;
                         return (type) => {
                             return narrowTypeForUserDefinedTypeGuard(evaluator, type, typeGuardType, isPositiveTest, isStrictTypeGuard);
@@ -594,6 +607,45 @@ function getIsInstanceClassTypes(argType) {
     });
     return foundNonClassType ? undefined : classTypeList;
 }
+function isIsinstanceFilterSuperclass(evaluator, varType, filterType, concreteFilterType, isInstanceCheck) {
+    // If the filter type represents all possible subclasses
+    // of a type, we can't make any statements about its superclass
+    // relationship with varType.
+    if (concreteFilterType.includeSubclasses) {
+        return false;
+    }
+    if ((0, types_1.isTypeVar)(filterType)) {
+        return false;
+    }
+    if (types_1.ClassType.isDerivedFrom(varType, concreteFilterType)) {
+        return true;
+    }
+    if (isInstanceCheck) {
+        if (types_1.ClassType.isProtocolClass(concreteFilterType) && evaluator.assignType(concreteFilterType, varType)) {
+            return true;
+        }
+    }
+    // Handle the special case where the variable type is a TypedDict and
+    // we're filtering against 'dict'. TypedDict isn't derived from dict,
+    // but at runtime, isinstance returns True.
+    if (types_1.ClassType.isBuiltIn(concreteFilterType, 'dict') && types_1.ClassType.isTypedDictClass(varType)) {
+        return true;
+    }
+    return false;
+}
+exports.isIsinstanceFilterSuperclass = isIsinstanceFilterSuperclass;
+function isIsinstanceFilterSubclass(evaluator, varType, filterType, concreteFilterType, isInstanceCheck) {
+    if (types_1.ClassType.isDerivedFrom(concreteFilterType, varType)) {
+        return true;
+    }
+    if (isInstanceCheck) {
+        if (types_1.ClassType.isProtocolClass(varType) && evaluator.assignType(varType, concreteFilterType)) {
+            return true;
+        }
+    }
+    return false;
+}
+exports.isIsinstanceFilterSubclass = isIsinstanceFilterSubclass;
 // Attempts to narrow a type (make it more constrained) based on a
 // call to isinstance or issubclass. For example, if the original
 // type of expression "x" is "Mammal" and the test expression is
@@ -613,19 +665,8 @@ function narrowTypeForIsInstance(evaluator, type, classTypeList, isInstanceCheck
         for (const filterType of classTypeList) {
             const concreteFilterType = evaluator.makeTopLevelTypeVarsConcrete(filterType);
             if ((0, types_1.isInstantiableClass)(concreteFilterType)) {
-                // Handle the special case where the variable type is a TypedDict and
-                // we're filtering against 'dict'. TypedDict isn't derived from dict,
-                // but at runtime, isinstance returns True.
-                const filterIsSuperclass = !(0, types_1.isTypeVar)(filterType) &&
-                    (types_1.ClassType.isDerivedFrom(varType, concreteFilterType) ||
-                        (isInstanceCheck &&
-                            types_1.ClassType.isProtocolClass(concreteFilterType) &&
-                            evaluator.assignType(concreteFilterType, varType)) ||
-                        (types_1.ClassType.isBuiltIn(concreteFilterType, 'dict') && types_1.ClassType.isTypedDictClass(varType)));
-                const filterIsSubclass = types_1.ClassType.isDerivedFrom(concreteFilterType, varType) ||
-                    (isInstanceCheck &&
-                        types_1.ClassType.isProtocolClass(varType) &&
-                        evaluator.assignType(varType, concreteFilterType));
+                const filterIsSuperclass = isIsinstanceFilterSuperclass(evaluator, varType, filterType, concreteFilterType, isInstanceCheck);
+                const filterIsSubclass = isIsinstanceFilterSubclass(evaluator, varType, filterType, concreteFilterType, isInstanceCheck);
                 if (filterIsSuperclass) {
                     foundSuperclass = true;
                 }
@@ -774,7 +815,10 @@ function narrowTypeForIsInstance(evaluator, type, classTypeList, isInstanceCheck
             }
         }
         if (!isInstanceCheck) {
-            return filteredTypes;
+            // We perform a double conversion from instance to instantiable
+            // here to make sure that the includeSubclasses flag is cleared
+            // if it's a class.
+            return filteredTypes.map((t) => ((0, types_1.isInstantiableClass)(t) ? (0, typeUtils_1.convertToInstantiable)((0, typeUtils_1.convertToInstance)(t)) : t));
         }
         return filteredTypes.map((t) => (0, typeUtils_1.convertToInstance)(t));
     };