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

package/dist/analyzer/typeVarContext.d.ts

@@ -1,46 +1,36 @@
-import { FunctionType, TupleTypeArgument, Type, TypeVarScopeId, TypeVarType } from './types';
-export interface TypeVarMapEntry {
+import { FunctionType, ParamSpecType, Type, TypeVarScopeId, TypeVarType } from './types';
+export interface TypeVarSolution {
     typeVar: TypeVarType;
-    narrowBound?: Type | undefined;
-    narrowBoundNoLiterals?: Type | undefined;
-    wideBound?: Type | undefined;
-    tupleTypes?: TupleTypeArgument[];
+    lowerBound?: Type | undefined;
+    lowerBoundNoLiterals?: Type | undefined;
+    upperBound?: Type | undefined;
 }
-export declare class TypeVarSignatureContext {
+export declare class TypeVarSolutionSet {
     private _typeVarMap;
-    private _sourceTypeVarScopeId;
+    private _scopeIds;
     constructor();
-    clone(): TypeVarSignatureContext;
-    isSame(other: TypeVarSignatureContext): boolean;
+    clone(): TypeVarSolutionSet;
+    isSame(other: TypeVarSolutionSet): boolean;
     isEmpty(): boolean;
     getScore(): number;
-    getTypeVarType(reference: TypeVarType, useNarrowBoundOnly?: boolean): Type | undefined;
-    getParamSpecType(reference: TypeVarType): FunctionType | undefined;
-    setTypeVarType(reference: TypeVarType, narrowBound: Type | undefined, narrowBoundNoLiterals?: Type, wideBound?: Type, tupleTypes?: TupleTypeArgument[]): void;
-    getTupleTypeVar(reference: TypeVarType): TupleTypeArgument[] | undefined;
-    setTupleTypeVar(reference: TypeVarType, types: TupleTypeArgument[]): void;
-    getTypeVar(reference: TypeVarType): TypeVarMapEntry | undefined;
-    getTypeVars(): TypeVarMapEntry[];
-    getTypeVarCount(): number;
-    getWideTypeBound(reference: TypeVarType): Type | undefined;
-    addSourceTypeVarScopeId(scopeId: TypeVarScopeId): void;
-    hasSourceTypeVarScopeId(scopeId: TypeVarScopeId): boolean;
-    private _getComplexityScoreForType;
-    private _getComplexityScoreForClass;
+    getTypeVarType(reference: ParamSpecType): FunctionType | undefined;
+    getTypeVarType(reference: TypeVarType, useLowerBoundOnly?: boolean): Type | undefined;
+    setTypeVarType(reference: TypeVarType, lowerBound: Type | undefined, lowerBoundNoLiterals?: Type, upperBound?: Type): void;
+    getTypeVar(reference: TypeVarType): TypeVarSolution | undefined;
+    getTypeVars(): TypeVarSolution[];
+    addScopeId(scopeId: TypeVarScopeId): void;
+    hasScopeId(scopeId: TypeVarScopeId): boolean;
 }
 export declare class TypeVarContext {
-    static nextTypeVarContextId: number;
-    private _id;
     private _solveForScopes;
     private _isLocked;
-    private _signatureContexts;
+    private _solutionSets;
     constructor(solveForScopes?: TypeVarScopeId[] | TypeVarScopeId);
     clone(): TypeVarContext;
-    cloneWithSignatureSource(typeVarScopeId: TypeVarScopeId): TypeVarContext;
+    cloneWithSignature(scopeId: TypeVarScopeId): TypeVarContext;
     copyFromClone(clone: TypeVarContext): void;
-    copySignatureContexts(contexts: TypeVarSignatureContext[]): void;
+    addSolutionSets(contexts: TypeVarSolutionSet[]): void;
     isSame(other: TypeVarContext): boolean;
-    getId(): number;
     getSolveForScopes(): string[] | undefined;
     hasSolveForScope(scopeId: TypeVarScopeId | TypeVarScopeId[] | undefined): boolean;
     setSolveForScopes(scopeIds: TypeVarScopeId[]): void;
@@ -49,12 +39,10 @@ export declare class TypeVarContext {
     unlock(): void;
     isLocked(): boolean;
     isEmpty(): boolean;
-    setTypeVarType(reference: TypeVarType, narrowBound: Type | undefined, narrowBoundNoLiterals?: Type, wideBound?: Type, tupleTypes?: TupleTypeArgument[]): void;
-    setTupleTypeVar(reference: TypeVarType, tupleTypes: TupleTypeArgument[]): void;
+    setTypeVarType(reference: TypeVarType, lowerBound: Type | undefined, lowerBoundNoLiterals?: Type, upperBound?: Type): void;
     getScore(): number;
-    getPrimarySignature(): TypeVarSignatureContext;
-    getSignatureContexts(): TypeVarSignatureContext[];
-    doForEachSignatureContext(callback: (signature: TypeVarSignatureContext, signatureIndex: number) => void): void;
-    getSignatureContext(index: number): TypeVarSignatureContext;
-    doForEachSignature(callback: (context: TypeVarSignatureContext) => void): void;
+    getMainSolutionSet(): TypeVarSolutionSet;
+    getSolutionSets(): TypeVarSolutionSet[];
+    doForEachSolutionSet(callback: (solutionSet: TypeVarSolutionSet, index: number) => void): void;
+    getSolutionSet(index: number): TypeVarSolutionSet;
 }

package/dist/analyzer/typeVarContext.js

@@ -5,16 +5,16 @@
  * Licensed under the MIT license.
  * Author: Eric Traut
  *
- * Module that records the relationship between type variables (and ParamSpecs)
- * and their types. It is used by the type evaluator to "solve" for the type of
+ * Module that records the relationship between type variables and their
+ * types. It is used by the constraint solver to solve for the type of
  * each type variable.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.TypeVarContext = exports.TypeVarSignatureContext = void 0;
+exports.TypeVarContext = exports.TypeVarSolutionSet = void 0;
 const debug_1 = require("../common/debug");
-const typeUtils_1 = require("./typeUtils");
+const typeComplexity_1 = require("./typeComplexity");
 const types_1 = require("./types");
-// The maximum number of signature contexts that can be associated
+// The maximum number of solution sets that can be associated
 // with a TypeVarContext. This equates to the number of overloads
 // that can be captured by a ParamSpec (or multiple ParamSpecs).
 // We should never hit this limit in practice, but there are certain
@@ -22,23 +22,22 @@ const types_1 = require("./types");
 // this so it doesn't completely exhaust memory. This was previously
 // set to 64, but we have seen cases where a library uses in excess
 // of 300 overloads on a single function.
-const maxSignatureContextCount = 1024;
-class TypeVarSignatureContext {
+const maxSolutionSetCount = 1024;
+// Records the solution information for a set of type variables associated
+// with a callee's signature.
+class TypeVarSolutionSet {
     constructor() {
         this._typeVarMap = new Map();
     }
     clone() {
-        const newContext = new TypeVarSignatureContext();
+        const solutionSet = new TypeVarSolutionSet();
         this._typeVarMap.forEach((value) => {
-            newContext.setTypeVarType(value.typeVar, value.narrowBound, value.narrowBoundNoLiterals, value.wideBound);
-            if (value.tupleTypes) {
-                newContext.setTupleTypeVar(value.typeVar, value.tupleTypes);
-            }
+            solutionSet.setTypeVarType(value.typeVar, value.lowerBound, value.lowerBoundNoLiterals, value.upperBound);
         });
-        if (this._sourceTypeVarScopeId) {
-            this._sourceTypeVarScopeId.forEach((scopeId) => newContext.addSourceTypeVarScopeId(scopeId));
+        if (this._scopeIds) {
+            this._scopeIds.forEach((scopeId) => solutionSet.addScopeId(scopeId));
         }
-        return newContext;
+        return solutionSet;
     }
     isSame(other) {
         if (this._typeVarMap.size !== other._typeVarMap.size) {
@@ -54,8 +53,8 @@ class TypeVarSignatureContext {
         this._typeVarMap.forEach((value, key) => {
             const otherValue = other._typeVarMap.get(key);
             if (!otherValue ||
-                !typesMatch(value.narrowBound, otherValue.narrowBound) ||
-                !typesMatch(value.wideBound, otherValue.wideBound)) {
+                !typesMatch(value.lowerBound, otherValue.lowerBound) ||
+                !typesMatch(value.upperBound, otherValue.upperBound)) {
                 isSame = false;
             }
         });
@@ -76,57 +75,50 @@ class TypeVarSignatureContext {
             // The more complex, the lower the score. In the spirit of Occam's
             // Razor, we always want to favor simple answers.
             const typeVarType = this.getTypeVarType(value.typeVar);
-            score += 1.0 - this._getComplexityScoreForType(typeVarType);
+            score += 1.0 - (0, typeComplexity_1.getComplexityScoreForType)(typeVarType);
         });
         return score;
     }
-    getTypeVarType(reference, useNarrowBoundOnly = false) {
+    getTypeVarType(reference, useLowerBoundOnly = false) {
         var _a, _b;
         const entry = this.getTypeVar(reference);
         if (!entry) {
             return undefined;
         }
-        if (useNarrowBoundOnly) {
-            return entry.narrowBound;
-        }
-        // Prefer the narrow version with no literals. It will be undefined
-        // if the literal type couldn't be widened due to constraints imposed
-        // by the wide bound.
-        return (_b = (_a = entry.narrowBoundNoLiterals) !== null && _a !== void 0 ? _a : entry.narrowBound) !== null && _b !== void 0 ? _b : entry.wideBound;
-    }
-    getParamSpecType(reference) {
-        const entry = this.getTypeVar(reference);
-        if (!(entry === null || entry === void 0 ? void 0 : entry.narrowBound)) {
-            return undefined;
+        if ((0, types_1.isParamSpec)(reference)) {
+            if (!entry.lowerBound) {
+                return undefined;
+            }
+            if ((0, types_1.isFunction)(entry.lowerBound)) {
+                return entry.lowerBound;
+            }
+            if ((0, types_1.isAnyOrUnknown)(entry.lowerBound)) {
+                return types_1.ParamSpecType.getUnknown();
+            }
         }
-        if ((0, types_1.isFunction)(entry.narrowBound)) {
-            return entry.narrowBound;
+        if (useLowerBoundOnly) {
+            return entry.lowerBound;
         }
-        if ((0, types_1.isAnyOrUnknown)(entry.narrowBound)) {
-            return (0, typeUtils_1.getUnknownTypeForParamSpec)();
+        // Prefer the lower bound with no literals. It will be undefined
+        // if the literal type couldn't be widened due to constraints imposed
+        // by the upper bound.
+        return (_b = (_a = entry.lowerBoundNoLiterals) !== null && _a !== void 0 ? _a : entry.lowerBound) !== null && _b !== void 0 ? _b : entry.upperBound;
+    }
+    setTypeVarType(reference, lowerBound, lowerBoundNoLiterals, upperBound) {
+        // For param specs, callers should always convert values to function types.
+        if ((0, types_1.isParamSpec)(reference)) {
+            (0, debug_1.assert)(!lowerBound || (0, types_1.isFunction)(lowerBound));
+            (0, debug_1.assert)(!lowerBoundNoLiterals || (0, types_1.isFunction)(lowerBoundNoLiterals));
+            (0, debug_1.assert)(!upperBound || (0, types_1.isFunction)(upperBound));
         }
-        return undefined;
-    }
-    setTypeVarType(reference, narrowBound, narrowBoundNoLiterals, wideBound, tupleTypes) {
         const key = types_1.TypeVarType.getNameWithScope(reference);
         this._typeVarMap.set(key, {
             typeVar: reference,
-            narrowBound,
-            narrowBoundNoLiterals,
-            wideBound,
-            tupleTypes,
+            lowerBound,
+            lowerBoundNoLiterals,
+            upperBound,
         });
     }
-    getTupleTypeVar(reference) {
-        var _a;
-        return (_a = this.getTypeVar(reference)) === null || _a === void 0 ? void 0 : _a.tupleTypes;
-    }
-    setTupleTypeVar(reference, types) {
-        // Caller should have already assigned a value to this type variable.
-        const entry = this.getTypeVar(reference);
-        (0, debug_1.assert)(entry);
-        entry.tupleTypes = types;
-    }
     getTypeVar(reference) {
         const key = types_1.TypeVarType.getNameWithScope(reference);
         return this._typeVarMap.get(key);
@@ -138,104 +130,23 @@ class TypeVarSignatureContext {
         });
         return entries;
     }
-    getTypeVarCount() {
-        return this._typeVarMap.size;
-    }
-    getWideTypeBound(reference) {
-        const entry = this.getTypeVar(reference);
-        if (entry) {
-            return entry.wideBound;
-        }
-        return undefined;
-    }
-    addSourceTypeVarScopeId(scopeId) {
-        if (!this._sourceTypeVarScopeId) {
-            this._sourceTypeVarScopeId = new Set();
+    addScopeId(scopeId) {
+        if (!this._scopeIds) {
+            this._scopeIds = new Set();
         }
-        this._sourceTypeVarScopeId.add(scopeId);
+        this._scopeIds.add(scopeId);
     }
-    hasSourceTypeVarScopeId(scopeId) {
-        if (!this._sourceTypeVarScopeId) {
+    hasScopeId(scopeId) {
+        if (!this._scopeIds) {
             return false;
         }
-        return this._sourceTypeVarScopeId.has(scopeId);
-    }
-    // Returns a "score" for a type that captures the relative complexity
-    // of the type. Scores should all be between 0 and 1 where 0 means
-    // very simple and 1 means complex. This is a heuristic, so there's
-    // often no objectively correct answer.
-    _getComplexityScoreForType(type, recursionCount = 0) {
-        if (recursionCount > types_1.maxTypeRecursionCount) {
-            return 1;
-        }
-        recursionCount++;
-        switch (type.category) {
-            case 1 /* TypeCategory.Unknown */:
-            case 2 /* TypeCategory.Any */:
-            case 9 /* TypeCategory.TypeVar */: {
-                return 0.5;
-            }
-            case 4 /* TypeCategory.Function */:
-            case 5 /* TypeCategory.OverloadedFunction */: {
-                // Classes and unions should be preferred over functions,
-                // so make this relatively high (more than 0.75).
-                return 0.8;
-            }
-            case 0 /* TypeCategory.Unbound */:
-            case 3 /* TypeCategory.Never */:
-                return 1.0;
-            case 8 /* TypeCategory.Union */: {
-                let maxScore = 0;
-                // If this union has a very large number of subtypes, don't bother
-                // accurately computing the score. Assume a fixed value.
-                if (type.priv.subtypes.length < 16) {
-                    type.priv.subtypes.forEach((subtype) => {
-                        const subtypeScore = this._getComplexityScoreForType(subtype, recursionCount);
-                        maxScore = Math.max(maxScore, subtypeScore);
-                    });
-                }
-                else {
-                    maxScore = 0.5;
-                }
-                return maxScore;
-            }
-            case 6 /* TypeCategory.Class */: {
-                return this._getComplexityScoreForClass(type, recursionCount);
-            }
-        }
-        // For all other types, return a score of 0.
-        return 0;
-    }
-    _getComplexityScoreForClass(classType, recursionCount) {
-        let typeArgScoreSum = 0;
-        let typeArgCount = 0;
-        if (classType.priv.tupleTypeArguments) {
-            classType.priv.tupleTypeArguments.forEach((typeArg) => {
-                typeArgScoreSum += this._getComplexityScoreForType(typeArg.type, recursionCount);
-                typeArgCount++;
-            });
-        }
-        else if (classType.priv.typeArguments) {
-            classType.priv.typeArguments.forEach((type) => {
-                typeArgScoreSum += this._getComplexityScoreForType(type, recursionCount);
-                typeArgCount++;
-            });
-        }
-        else if (classType.shared.typeParameters) {
-            classType.shared.typeParameters.forEach((type) => {
-                typeArgScoreSum += this._getComplexityScoreForType(types_1.AnyType.create(), recursionCount);
-                typeArgCount++;
-            });
-        }
-        const averageTypeArgComplexity = typeArgCount > 0 ? typeArgScoreSum / typeArgCount : 0;
-        return 0.5 + averageTypeArgComplexity * 0.25;
+        return this._scopeIds.has(scopeId);
     }
 }
-exports.TypeVarSignatureContext = TypeVarSignatureContext;
+exports.TypeVarSolutionSet = TypeVarSolutionSet;
 class TypeVarContext {
     constructor(solveForScopes) {
         this._isLocked = false;
-        this._id = TypeVarContext.nextTypeVarContextId++;
         if (Array.isArray(solveForScopes)) {
             this._solveForScopes = solveForScopes;
         }
@@ -245,54 +156,51 @@ class TypeVarContext {
         else {
             this._solveForScopes = undefined;
         }
-        this._signatureContexts = [new TypeVarSignatureContext()];
+        this._solutionSets = [new TypeVarSolutionSet()];
     }
     clone() {
         const newTypeVarMap = new TypeVarContext();
         if (this._solveForScopes) {
             newTypeVarMap._solveForScopes = Array.from(this._solveForScopes);
         }
-        newTypeVarMap._signatureContexts = this._signatureContexts.map((context) => context.clone());
+        newTypeVarMap._solutionSets = this._solutionSets.map((solutionSet) => solutionSet.clone());
         newTypeVarMap._isLocked = this._isLocked;
         return newTypeVarMap;
     }
-    cloneWithSignatureSource(typeVarScopeId) {
-        const clonedContext = this.clone();
-        if (typeVarScopeId) {
-            const filteredSignatures = this._signatureContexts.filter((context) => context.hasSourceTypeVarScopeId(typeVarScopeId));
-            if (filteredSignatures.length > 0) {
-                clonedContext._signatureContexts = filteredSignatures;
+    cloneWithSignature(scopeId) {
+        const cloned = this.clone();
+        if (scopeId) {
+            const filteredSolutionSets = this._solutionSets.filter((context) => context.hasScopeId(scopeId));
+            if (filteredSolutionSets.length > 0) {
+                cloned._solutionSets = filteredSolutionSets;
             }
             else {
-                clonedContext._signatureContexts.forEach((context) => {
-                    context.addSourceTypeVarScopeId(typeVarScopeId);
+                cloned._solutionSets.forEach((context) => {
+                    context.addScopeId(scopeId);
                 });
             }
         }
-        return clonedContext;
+        return cloned;
     }
     // Copies a cloned type var context back into this object.
     copyFromClone(clone) {
-        this._signatureContexts = clone._signatureContexts.map((context) => context.clone());
+        this._solutionSets = clone._solutionSets.map((context) => context.clone());
         this._isLocked = clone._isLocked;
     }
-    // Copy the specified signature contexts into this type var context.
-    copySignatureContexts(contexts) {
+    // Copy the specified solution sets into this type var context.
+    addSolutionSets(contexts) {
         (0, debug_1.assert)(contexts.length > 0);
-        // Limit the number of signature contexts. There are rare circumstances
+        // Limit the number of solution sets. There are rare circumstances
         // where this can grow to unbounded numbers and exhaust memory.
-        if (contexts.length < maxSignatureContextCount) {
-            this._signatureContexts = Array.from(contexts);
+        if (contexts.length < maxSolutionSetCount) {
+            this._solutionSets = Array.from(contexts);
         }
     }
     isSame(other) {
-        if (other._signatureContexts.length !== this._signatureContexts.length) {
+        if (other._solutionSets.length !== this._solutionSets.length) {
             return false;
         }
-        return this._signatureContexts.every((context, index) => context.isSame(other._signatureContexts[index]));
-    }
-    getId() {
-        return this._id;
+        return this._solutionSets.every((solutionSet, index) => solutionSet.isSame(other._solutionSets[index]));
     }
     // Returns the list of scopes this type var map is "solving".
     getSolveForScopes() {
@@ -339,54 +247,42 @@ class TypeVarContext {
         return this._isLocked;
     }
     isEmpty() {
-        return this._signatureContexts.every((context) => context.isEmpty());
-    }
-    setTypeVarType(reference, narrowBound, narrowBoundNoLiterals, wideBound, tupleTypes) {
-        (0, debug_1.assert)(!this._isLocked);
-        return this._signatureContexts.forEach((context) => {
-            context.setTypeVarType(reference, narrowBound, narrowBoundNoLiterals, wideBound, tupleTypes);
-        });
+        return this._solutionSets.every((solutionSet) => solutionSet.isEmpty());
     }
-    setTupleTypeVar(reference, tupleTypes) {
+    setTypeVarType(reference, lowerBound, lowerBoundNoLiterals, upperBound) {
         (0, debug_1.assert)(!this._isLocked);
-        return this._signatureContexts.forEach((context) => {
-            context.setTupleTypeVar(reference, tupleTypes);
+        return this._solutionSets.forEach((solutionSet) => {
+            solutionSet.setTypeVarType(reference, lowerBound, lowerBoundNoLiterals, upperBound);
         });
     }
     getScore() {
         let total = 0;
-        this._signatureContexts.forEach((context) => {
-            total += context.getScore();
+        this._solutionSets.forEach((solutionSet) => {
+            total += solutionSet.getScore();
         });
-        // Return the average score among all signature contexts.
-        return total / this._signatureContexts.length;
+        // Return the average score among all solution sets.
+        return total / this._solutionSets.length;
     }
-    getPrimarySignature() {
-        return this._signatureContexts[0];
+    getMainSolutionSet() {
+        return this._solutionSets[0];
     }
-    getSignatureContexts() {
-        return this._signatureContexts;
+    getSolutionSets() {
+        return this._solutionSets;
     }
-    doForEachSignatureContext(callback) {
+    doForEachSolutionSet(callback) {
         const wasLocked = this.isLocked();
         this.unlock();
-        this.getSignatureContexts().forEach((signature, signatureIndex) => {
-            callback(signature, signatureIndex);
+        this.getSolutionSets().forEach((solutionSet, index) => {
+            callback(solutionSet, index);
         });
         if (wasLocked) {
             this.lock();
         }
     }
-    getSignatureContext(index) {
-        (0, debug_1.assert)(index >= 0 && index < this._signatureContexts.length);
-        return this._signatureContexts[index];
-    }
-    doForEachSignature(callback) {
-        this._signatureContexts.forEach((context) => {
-            callback(context);
-        });
+    getSolutionSet(index) {
+        (0, debug_1.assert)(index >= 0 && index < this._solutionSets.length);
+        return this._solutionSets[index];
     }
 }
 exports.TypeVarContext = TypeVarContext;
-TypeVarContext.nextTypeVarContextId = 1;
 //# sourceMappingURL=typeVarContext.js.map

package/dist/analyzer/typeVarContext.js.map

@@ -1 +1 @@
-{"version":3,"file":"typeVarContext.js","sourceRoot":"","sources":["../../../../../src/analyzer/typeVarContext.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAEH,2CAAyC;AACzC,2CAAyD;AACzD,mCAciB;AAEjB,kEAAkE;AAClE,iEAAiE;AACjE,gEAAgE;AAChE,oEAAoE;AACpE,oEAAoE;AACpE,oEAAoE;AACpE,mEAAmE;AACnE,yCAAyC;AACzC,MAAM,wBAAwB,GAAG,IAAI,CAAC;AAiBtC,MAAa,uBAAuB;IAIhC;QACI,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC1D,CAAC;IAED,KAAK;QACD,MAAM,UAAU,GAAG,IAAI,uBAAuB,EAAE,CAAC;QAEjD,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/B,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,qBAAqB,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;YAE1G,IAAI,KAAK,CAAC,UAAU,EAAE;gBAClB,UAAU,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;aAC/D;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,IAAI,CAAC,qBAAqB,EAAE;YAC5B,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC;SAChG;QAED,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,MAAM,CAAC,KAA8B;QACjC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE;YAClD,OAAO,KAAK,CAAC;SAChB;QAED,SAAS,UAAU,CAAC,KAAuB,EAAE,KAAuB;YAChE,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE;gBAClB,OAAO,KAAK,KAAK,KAAK,CAAC;aAC1B;YAED,OAAO,IAAA,kBAAU,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACpC,CAAC;QAED,IAAI,MAAM,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;YACpC,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9C,IACI,CAAC,UAAU;gBACX,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC,WAAW,CAAC;gBACtD,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,SAAS,CAAC,EACpD;gBACE,MAAM,GAAG,KAAK,CAAC;aAClB;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,OAAO;QACH,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,gEAAgE;IAChE,uDAAuD;IACvD,QAAQ;QACJ,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,4CAA4C;QAC5C,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/B,qDAAqD;YACrD,KAAK,IAAI,CAAC,CAAC;YAEX,qEAAqE;YACrE,kEAAkE;YAClE,iDAAiD;YACjD,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,CAAE,CAAC;YACxD,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,0BAA0B,CAAC,WAAW,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QAEH,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,cAAc,CAAC,SAAsB,EAAE,kBAAkB,GAAG,KAAK;;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,EAAE;YACR,OAAO,SAAS,CAAC;SACpB;QAED,IAAI,kBAAkB,EAAE;YACpB,OAAO,KAAK,CAAC,WAAW,CAAC;SAC5B;QAED,mEAAmE;QACnE,qEAAqE;QACrE,qBAAqB;QACrB,OAAO,MAAA,MAAA,KAAK,CAAC,qBAAqB,mCAAI,KAAK,CAAC,WAAW,mCAAI,KAAK,CAAC,SAAS,CAAC;IAC/E,CAAC;IAED,gBAAgB,CAAC,SAAsB;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,CAAA,KAAK,aAAL,KAAK,uBAAL,KAAK,CAAE,WAAW,CAAA,EAAE;YACrB,OAAO,SAAS,CAAC;SACpB;QAED,IAAI,IAAA,kBAAU,EAAC,KAAK,CAAC,WAAW,CAAC,EAAE;YAC/B,OAAO,KAAK,CAAC,WAAW,CAAC;SAC5B;QAED,IAAI,IAAA,sBAAc,EAAC,KAAK,CAAC,WAAW,CAAC,EAAE;YACnC,OAAO,IAAA,sCAA0B,GAAE,CAAC;SACvC;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,cAAc,CACV,SAAsB,EACtB,WAA6B,EAC7B,qBAA4B,EAC5B,SAAgB,EAChB,UAAgC;QAEhC,MAAM,GAAG,GAAG,mBAAW,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE;YACtB,OAAO,EAAE,SAAS;YAClB,WAAW;YACX,qBAAqB;YACrB,SAAS;YACT,UAAU;SACb,CAAC,CAAC;IACP,CAAC;IAED,eAAe,CAAC,SAAsB;;QAClC,OAAO,MAAA,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,0CAAE,UAAU,CAAC;IAClD,CAAC;IAED,eAAe,CAAC,SAAsB,EAAE,KAA0B;QAC9D,qEAAqE;QACrE,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACzC,IAAA,cAAM,EAAC,KAAK,CAAC,CAAC;QAEd,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC;IAC7B,CAAC;IAED,UAAU,CAAC,SAAsB;QAC7B,MAAM,GAAG,GAAG,mBAAW,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;IAED,WAAW;QACP,MAAM,OAAO,GAAsB,EAAE,CAAC;QAEtC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,OAAO,OAAO,CAAC;IACnB,CAAC;IAED,eAAe;QACX,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;IACjC,CAAC;IAED,gBAAgB,CAAC,SAAsB;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,KAAK,EAAE;YACP,OAAO,KAAK,CAAC,SAAS,CAAC;SAC1B;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,uBAAuB,CAAC,OAAuB;QAC3C,IAAI,CAAC,IAAI,CAAC,qBAAqB,EAAE;YAC7B,IAAI,CAAC,qBAAqB,GAAG,IAAI,GAAG,EAAU,CAAC;SAClD;QAED,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC;IAED,uBAAuB,CAAC,OAAuB;QAC3C,IAAI,CAAC,IAAI,CAAC,qBAAqB,EAAE;YAC7B,OAAO,KAAK,CAAC;SAChB;QAED,OAAO,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC;IAED,qEAAqE;IACrE,kEAAkE;IAClE,mEAAmE;IACnE,uCAAuC;IAC/B,0BAA0B,CAAC,IAAU,EAAE,cAAc,GAAG,CAAC;QAC7D,IAAI,cAAc,GAAG,6BAAqB,EAAE;YACxC,OAAO,CAAC,CAAC;SACZ;QACD,cAAc,EAAE,CAAC;QAEjB,QAAQ,IAAI,CAAC,QAAQ,EAAE;YACnB,kCAA0B;YAC1B,8BAAsB;YACtB,iCAAyB,CAAC,CAAC;gBACvB,OAAO,GAAG,CAAC;aACd;YAED,mCAA2B;YAC3B,4CAAoC,CAAC,CAAC;gBAClC,yDAAyD;gBACzD,iDAAiD;gBACjD,OAAO,GAAG,CAAC;aACd;YAED,kCAA0B;YAC1B;gBACI,OAAO,GAAG,CAAC;YAEf,+BAAuB,CAAC,CAAC;gBACrB,IAAI,QAAQ,GAAG,CAAC,CAAC;gBAEjB,kEAAkE;gBAClE,wDAAwD;gBACxD,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE,EAAE;oBAChC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;wBACnC,MAAM,YAAY,GAAG,IAAI,CAAC,0BAA0B,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;wBAC9E,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;oBAChD,CAAC,CAAC,CAAC;iBACN;qBAAM;oBACH,QAAQ,GAAG,GAAG,CAAC;iBAClB;gBAED,OAAO,QAAQ,CAAC;aACnB;YAED,+BAAuB,CAAC,CAAC;gBACrB,OAAO,IAAI,CAAC,2BAA2B,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;aACjE;SACJ;QAED,4CAA4C;QAC5C,OAAO,CAAC,CAAC;IACb,CAAC;IAEO,2BAA2B,CAAC,SAAoB,EAAE,cAAsB;QAC5E,IAAI,eAAe,GAAG,CAAC,CAAC;QACxB,IAAI,YAAY,GAAG,CAAC,CAAC;QAErB,IAAI,SAAS,CAAC,IAAI,CAAC,kBAAkB,EAAE;YACnC,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;gBAClD,eAAe,IAAI,IAAI,CAAC,0BAA0B,CAAC,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBACjF,YAAY,EAAE,CAAC;YACnB,CAAC,CAAC,CAAC;SACN;aAAM,IAAI,SAAS,CAAC,IAAI,CAAC,aAAa,EAAE;YACrC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC1C,eAAe,IAAI,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBACzE,YAAY,EAAE,CAAC;YACnB,CAAC,CAAC,CAAC;SACN;aAAM,IAAI,SAAS,CAAC,MAAM,CAAC,cAAc,EAAE;YACxC,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC7C,eAAe,IAAI,IAAI,CAAC,0BAA0B,CAAC,eAAO,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC;gBACrF,YAAY,EAAE,CAAC;YACnB,CAAC,CAAC,CAAC;SACN;QAED,MAAM,wBAAwB,GAAG,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,OAAO,GAAG,GAAG,wBAAwB,GAAG,IAAI,CAAC;IACjD,CAAC;CACJ;AAtQD,0DAsQC;AAED,MAAa,cAAc;IAOvB,YAAY,cAAkD;QAHtD,cAAS,GAAG,KAAK,CAAC;QAItB,IAAI,CAAC,GAAG,GAAG,cAAc,CAAC,oBAAoB,EAAE,CAAC;QAEjD,IAAI,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE;YAC/B,IAAI,CAAC,eAAe,GAAG,cAAc,CAAC;SACzC;aAAM,IAAI,cAAc,KAAK,SAAS,EAAE;YACrC,IAAI,CAAC,eAAe,GAAG,CAAC,cAAc,CAAC,CAAC;SAC3C;aAAM;YACH,IAAI,CAAC,eAAe,GAAG,SAAS,CAAC;SACpC;QAED,IAAI,CAAC,kBAAkB,GAAG,CAAC,IAAI,uBAAuB,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED,KAAK;QACD,MAAM,aAAa,GAAG,IAAI,cAAc,EAAE,CAAC;QAC3C,IAAI,IAAI,CAAC,eAAe,EAAE;YACtB,aAAa,CAAC,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;SACpE;QAED,aAAa,CAAC,kBAAkB,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QAC7F,aAAa,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAEzC,OAAO,aAAa,CAAC;IACzB,CAAC;IAED,wBAAwB,CAAC,cAA8B;QACnD,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAEnC,IAAI,cAAc,EAAE;YAChB,MAAM,kBAAkB,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAClE,OAAO,CAAC,uBAAuB,CAAC,cAAc,CAAC,CAClD,CAAC;YAEF,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE;gBAC/B,aAAa,CAAC,kBAAkB,GAAG,kBAAkB,CAAC;aACzD;iBAAM;gBACH,aAAa,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;oBACjD,OAAO,CAAC,uBAAuB,CAAC,cAAc,CAAC,CAAC;gBACpD,CAAC,CAAC,CAAC;aACN;SACJ;QAED,OAAO,aAAa,CAAC;IACzB,CAAC;IAED,0DAA0D;IAC1D,aAAa,CAAC,KAAqB;QAC/B,IAAI,CAAC,kBAAkB,GAAG,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QACrF,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IACrC,CAAC;IAED,oEAAoE;IACpE,qBAAqB,CAAC,QAAmC;QACrD,IAAA,cAAM,EAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAE5B,uEAAuE;QACvE,+DAA+D;QAC/D,IAAI,QAAQ,CAAC,MAAM,GAAG,wBAAwB,EAAE;YAC5C,IAAI,CAAC,kBAAkB,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SAClD;IACL,CAAC;IAED,MAAM,CAAC,KAAqB;QACxB,IAAI,KAAK,CAAC,kBAAkB,CAAC,MAAM,KAAK,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE;YACpE,OAAO,KAAK,CAAC;SAChB;QAED,OAAO,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9G,CAAC;IAED,KAAK;QACD,OAAO,IAAI,CAAC,GAAG,CAAC;IACpB,CAAC;IAED,6DAA6D;IAC7D,iBAAiB;QACb,OAAO,IAAI,CAAC,eAAe,CAAC;IAChC,CAAC;IAED,gBAAgB,CAAC,OAAsD;QACnE,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YACxB,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;SACxD;QAED,IAAI,OAAO,KAAK,iCAAyB,EAAE;YACvC,OAAO,IAAI,CAAC;SACf;QAED,OAAO,CACH,OAAO,KAAK,SAAS;YACrB,IAAI,CAAC,eAAe,KAAK,SAAS;YAClC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,CAClD,CAAC;IACN,CAAC;IAED,iBAAiB,CAAC,QAA0B;QACxC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YACzB,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACP,CAAC;IAED,gBAAgB,CAAC,OAA2C;QACxD,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YACxB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,OAAO;SACV;QAED,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE;YAC1D,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE;gBACvB,IAAI,CAAC,eAAe,GAAG,EAAE,CAAC;aAC7B;YACD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;SACtC;IACL,CAAC;IAED,IAAI;QACA,0DAA0D;QAC1D,IAAA,cAAM,EAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,MAAM;QACF,sDAAsD;QACtD,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC;IAC3B,CAAC;IAED,QAAQ;QACJ,OAAO,IAAI,CAAC,SAAS,CAAC;IAC1B,CAAC;IAED,OAAO;QACH,OAAO,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IACzE,CAAC;IAED,cAAc,CACV,SAAsB,EACtB,WAA6B,EAC7B,qBAA4B,EAC5B,SAAgB,EAChB,UAAgC;QAEhC,IAAA,cAAM,EAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAExB,OAAO,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YAC/C,OAAO,CAAC,cAAc,CAAC,SAAS,EAAE,WAAW,EAAE,qBAAqB,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;QACjG,CAAC,CAAC,CAAC;IACP,CAAC;IAED,eAAe,CAAC,SAAsB,EAAE,UAA+B;QACnE,IAAA,cAAM,EAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAExB,OAAO,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YAC/C,OAAO,CAAC,eAAe,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACP,CAAC;IAED,QAAQ;QACJ,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YACxC,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,yDAAyD;QACzD,OAAO,KAAK,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC;IAClD,CAAC;IAED,mBAAmB;QACf,OAAO,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,oBAAoB;QAChB,OAAO,IAAI,CAAC,kBAAkB,CAAC;IACnC,CAAC;IAED,yBAAyB,CAAC,QAA8E;QACpG,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,CAAC,MAAM,EAAE,CAAC;QAEd,IAAI,CAAC,oBAAoB,EAAE,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,cAAc,EAAE,EAAE;YAC9D,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,IAAI,SAAS,EAAE;YACX,IAAI,CAAC,IAAI,EAAE,CAAC;SACf;IACL,CAAC;IAED,mBAAmB,CAAC,KAAa;QAC7B,IAAA,cAAM,EAAC,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;QAC7D,OAAO,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC;IAED,kBAAkB,CAAC,QAAoD;QACnE,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YACxC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC;IACP,CAAC;;AA7ML,wCA8MC;AA7MU,mCAAoB,GAAG,CAAC,AAAJ,CAAK"}
+{"version":3,"file":"typeVarContext.js","sourceRoot":"","sources":["../../../../../src/analyzer/typeVarContext.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAEH,2CAAyC;AACzC,qDAA6D;AAC7D,mCAWiB;AAEjB,6DAA6D;AAC7D,iEAAiE;AACjE,gEAAgE;AAChE,oEAAoE;AACpE,oEAAoE;AACpE,oEAAoE;AACpE,mEAAmE;AACnE,yCAAyC;AACzC,MAAM,mBAAmB,GAAG,IAAI,CAAC;AAkBjC,0EAA0E;AAC1E,6BAA6B;AAC7B,MAAa,kBAAkB;IAY3B;QACI,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC1D,CAAC;IAED,KAAK;QACD,MAAM,WAAW,GAAG,IAAI,kBAAkB,EAAE,CAAC;QAE7C,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/B,WAAW,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,oBAAoB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QAC9G,CAAC,CAAC,CAAC;QAEH,IAAI,IAAI,CAAC,SAAS,EAAE;YAChB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;SACxE;QAED,OAAO,WAAW,CAAC;IACvB,CAAC;IAED,MAAM,CAAC,KAAyB;QAC5B,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE;YAClD,OAAO,KAAK,CAAC;SAChB;QAED,SAAS,UAAU,CAAC,KAAuB,EAAE,KAAuB;YAChE,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE;gBAClB,OAAO,KAAK,KAAK,KAAK,CAAC;aAC1B;YAED,OAAO,IAAA,kBAAU,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACpC,CAAC;QAED,IAAI,MAAM,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;YACpC,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9C,IACI,CAAC,UAAU;gBACX,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC;gBACpD,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,EACtD;gBACE,MAAM,GAAG,KAAK,CAAC;aAClB;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,OAAO;QACH,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,gEAAgE;IAChE,uDAAuD;IACvD,QAAQ;QACJ,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,4CAA4C;QAC5C,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/B,qDAAqD;YACrD,KAAK,IAAI,CAAC,CAAC;YAEX,qEAAqE;YACrE,kEAAkE;YAClE,iDAAiD;YACjD,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,CAAE,CAAC;YACxD,KAAK,IAAI,GAAG,GAAG,IAAA,0CAAyB,EAAC,WAAW,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,OAAO,KAAK,CAAC;IACjB,CAAC;IAID,cAAc,CAAC,SAAsB,EAAE,iBAAiB,GAAG,KAAK;;QAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,EAAE;YACR,OAAO,SAAS,CAAC;SACpB;QAED,IAAI,IAAA,mBAAW,EAAC,SAAS,CAAC,EAAE;YACxB,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE;gBACnB,OAAO,SAAS,CAAC;aACpB;YAED,IAAI,IAAA,kBAAU,EAAC,KAAK,CAAC,UAAU,CAAC,EAAE;gBAC9B,OAAO,KAAK,CAAC,UAAU,CAAC;aAC3B;YAED,IAAI,IAAA,sBAAc,EAAC,KAAK,CAAC,UAAU,CAAC,EAAE;gBAClC,OAAO,qBAAa,CAAC,UAAU,EAAE,CAAC;aACrC;SACJ;QAED,IAAI,iBAAiB,EAAE;YACnB,OAAO,KAAK,CAAC,UAAU,CAAC;SAC3B;QAED,gEAAgE;QAChE,qEAAqE;QACrE,sBAAsB;QACtB,OAAO,MAAA,MAAA,KAAK,CAAC,oBAAoB,mCAAI,KAAK,CAAC,UAAU,mCAAI,KAAK,CAAC,UAAU,CAAC;IAC9E,CAAC;IAED,cAAc,CACV,SAAsB,EACtB,UAA4B,EAC5B,oBAA2B,EAC3B,UAAiB;QAEjB,2EAA2E;QAC3E,IAAI,IAAA,mBAAW,EAAC,SAAS,CAAC,EAAE;YACxB,IAAA,cAAM,EAAC,CAAC,UAAU,IAAI,IAAA,kBAAU,EAAC,UAAU,CAAC,CAAC,CAAC;YAC9C,IAAA,cAAM,EAAC,CAAC,oBAAoB,IAAI,IAAA,kBAAU,EAAC,oBAAoB,CAAC,CAAC,CAAC;YAClE,IAAA,cAAM,EAAC,CAAC,UAAU,IAAI,IAAA,kBAAU,EAAC,UAAU,CAAC,CAAC,CAAC;SACjD;QAED,MAAM,GAAG,GAAG,mBAAW,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE;YACtB,OAAO,EAAE,SAAS;YAClB,UAAU;YACV,oBAAoB;YACpB,UAAU;SACb,CAAC,CAAC;IACP,CAAC;IAED,UAAU,CAAC,SAAsB;QAC7B,MAAM,GAAG,GAAG,mBAAW,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;IAED,WAAW;QACP,MAAM,OAAO,GAAsB,EAAE,CAAC;QAEtC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,OAAO,OAAO,CAAC;IACnB,CAAC;IAED,UAAU,CAAC,OAAuB;QAC9B,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE;YACjB,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;SACtC;QAED,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,UAAU,CAAC,OAAuB;QAC9B,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE;YACjB,OAAO,KAAK,CAAC;SAChB;QAED,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;CACJ;AAtKD,gDAsKC;AAED,MAAa,cAAc;IAKvB,YAAY,cAAkD;QAHtD,cAAS,GAAG,KAAK,CAAC;QAItB,IAAI,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE;YAC/B,IAAI,CAAC,eAAe,GAAG,cAAc,CAAC;SACzC;aAAM,IAAI,cAAc,KAAK,SAAS,EAAE;YACrC,IAAI,CAAC,eAAe,GAAG,CAAC,cAAc,CAAC,CAAC;SAC3C;aAAM;YACH,IAAI,CAAC,eAAe,GAAG,SAAS,CAAC;SACpC;QAED,IAAI,CAAC,aAAa,GAAG,CAAC,IAAI,kBAAkB,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,KAAK;QACD,MAAM,aAAa,GAAG,IAAI,cAAc,EAAE,CAAC;QAC3C,IAAI,IAAI,CAAC,eAAe,EAAE;YACtB,aAAa,CAAC,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;SACpE;QAED,aAAa,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;QAC3F,aAAa,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAEzC,OAAO,aAAa,CAAC;IACzB,CAAC;IAED,kBAAkB,CAAC,OAAuB;QACtC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAE5B,IAAI,OAAO,EAAE;YACT,MAAM,oBAAoB,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;YAEjG,IAAI,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE;gBACjC,MAAM,CAAC,aAAa,GAAG,oBAAoB,CAAC;aAC/C;iBAAM;gBACH,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;oBACrC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;gBAChC,CAAC,CAAC,CAAC;aACN;SACJ;QAED,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,0DAA0D;IAC1D,aAAa,CAAC,KAAqB;QAC/B,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QAC3E,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IACrC,CAAC;IAED,+DAA+D;IAC/D,eAAe,CAAC,QAA8B;QAC1C,IAAA,cAAM,EAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAE5B,kEAAkE;QAClE,+DAA+D;QAC/D,IAAI,QAAQ,CAAC,MAAM,GAAG,mBAAmB,EAAE;YACvC,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SAC7C;IACL,CAAC;IAED,MAAM,CAAC,KAAqB;QACxB,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE;YAC1D,OAAO,KAAK,CAAC;SAChB;QAED,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5G,CAAC;IAED,6DAA6D;IAC7D,iBAAiB;QACb,OAAO,IAAI,CAAC,eAAe,CAAC;IAChC,CAAC;IAED,gBAAgB,CAAC,OAAsD;QACnE,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YACxB,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;SACxD;QAED,IAAI,OAAO,KAAK,iCAAyB,EAAE;YACvC,OAAO,IAAI,CAAC;SACf;QAED,OAAO,CACH,OAAO,KAAK,SAAS;YACrB,IAAI,CAAC,eAAe,KAAK,SAAS;YAClC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,CAClD,CAAC;IACN,CAAC;IAED,iBAAiB,CAAC,QAA0B;QACxC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YACzB,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACP,CAAC;IAED,gBAAgB,CAAC,OAA2C;QACxD,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YACxB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,OAAO;SACV;QAED,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE;YAC1D,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE;gBACvB,IAAI,CAAC,eAAe,GAAG,EAAE,CAAC;aAC7B;YACD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;SACtC;IACL,CAAC;IAED,IAAI;QACA,0DAA0D;QAC1D,IAAA,cAAM,EAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,MAAM;QACF,sDAAsD;QACtD,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC;IAC3B,CAAC;IAED,QAAQ;QACJ,OAAO,IAAI,CAAC,SAAS,CAAC;IAC1B,CAAC;IAED,OAAO;QACH,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5E,CAAC;IAED,cAAc,CACV,SAAsB,EACtB,UAA4B,EAC5B,oBAA2B,EAC3B,UAAiB;QAEjB,IAAA,cAAM,EAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAExB,OAAO,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE;YAC9C,WAAW,CAAC,cAAc,CAAC,SAAS,EAAE,UAAU,EAAE,oBAAoB,EAAE,UAAU,CAAC,CAAC;QACxF,CAAC,CAAC,CAAC;IACP,CAAC;IAED,QAAQ;QACJ,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE;YACvC,KAAK,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,oDAAoD;QACpD,OAAO,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;IAC7C,CAAC;IAED,kBAAkB;QACd,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;IAED,eAAe;QACX,OAAO,IAAI,CAAC,aAAa,CAAC;IAC9B,CAAC;IAED,oBAAoB,CAAC,QAAkE;QACnF,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,CAAC,MAAM,EAAE,CAAC;QAEd,IAAI,CAAC,eAAe,EAAE,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE;YAClD,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,IAAI,SAAS,EAAE;YACX,IAAI,CAAC,IAAI,EAAE,CAAC;SACf;IACL,CAAC;IAED,cAAc,CAAC,KAAa;QACxB,IAAA,cAAM,EAAC,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QACxD,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;CACJ;AArLD,wCAqLC"}

package/dist/analyzer/typeWalker.js

@@ -80,8 +80,8 @@ class TypeWalker {
         var _a;
         const aliasInfo = (_a = type.props) === null || _a === void 0 ? void 0 : _a.typeAliasInfo;
         (0, debug_1.assert)(aliasInfo !== undefined);
-        if (aliasInfo.typeArguments) {
-            for (const typeArg of aliasInfo.typeArguments) {
+        if (aliasInfo.typeArgs) {
+            for (const typeArg of aliasInfo.typeArgs) {
                 this.walk(typeArg);
                 if (this._isWalkCanceled) {
                     break;
@@ -106,7 +106,7 @@ class TypeWalker {
         for (let i = 0; i < type.shared.parameters.length; i++) {
             // Ignore parameters such as "*" that have no name.
             if (type.shared.parameters[i].name) {
-                const paramType = types_1.FunctionType.getEffectiveParameterType(type, i);
+                const paramType = types_1.FunctionType.getEffectiveParamType(type, i);
                 this.walk(paramType);
                 if (this._isWalkCanceled) {
                     break;
@@ -131,7 +131,7 @@ class TypeWalker {
     visitClass(type) {
         var _a;
         if (!types_1.ClassType.isPseudoGenericClass(type)) {
-            const typeArgs = ((_a = type.priv.tupleTypeArguments) === null || _a === void 0 ? void 0 : _a.map((t) => t.type)) || type.priv.typeArguments;
+            const typeArgs = ((_a = type.priv.tupleTypeArgs) === null || _a === void 0 ? void 0 : _a.map((t) => t.type)) || type.priv.typeArgs;
             if (typeArgs) {
                 for (const argType of typeArgs) {
                     this.walk(argType);

package/dist/analyzer/typeWalker.js.map

@@ -1 +1 @@
-{"version":3,"file":"typeWalker.js","sourceRoot":"","sources":["../../../../../src/analyzer/typeWalker.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAEH,2CAAsD;AACtD,mCAciB;AAEjB,MAAa,UAAU;IAAvB;QACY,oBAAe,GAAG,CAAC,CAAC;QACpB,oBAAe,GAAG,KAAK,CAAC;QACxB,uBAAkB,GAAG,KAAK,CAAC;IAuKvC,CAAC;IArKG,IAAI,mBAAmB;QACnB,OAAO,IAAI,CAAC,kBAAkB,CAAC;IACnC,CAAC;IAED,IAAI,cAAc;QACd,OAAO,IAAI,CAAC,eAAe,CAAC;IAChC,CAAC;IAED,IAAI,CAAC,IAAU;;QACX,IAAI,IAAI,CAAC,eAAe,GAAG,6BAAqB,EAAE;YAC9C,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC;YAC/B,OAAO;SACV;QAED,IAAI,IAAI,CAAC,eAAe,EAAE;YACtB,OAAO;SACV;QAED,IAAI,CAAC,eAAe,EAAE,CAAC;QAEvB,IAAI,MAAA,IAAI,CAAC,KAAK,0CAAE,aAAa,EAAE;YAC3B,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;SAC7B;QAED,QAAQ,IAAI,CAAC,QAAQ,EAAE;YACnB;gBACI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM;YAEV;gBACI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACpB,MAAM;YAEV;gBACI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM;YAEV;gBACI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBACtB,MAAM;YAEV;gBACI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBACzB,MAAM;YAEV;gBACI,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;gBACnC,MAAM;YAEV;gBACI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBACtB,MAAM;YAEV;gBACI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBACvB,MAAM;YAEV;gBACI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBACtB,MAAM;YAEV;gBACI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM;YAEV;gBACI,IAAA,mBAAW,EAAC,IAAI,CAAC,CAAC;SACzB;QAED,IAAI,CAAC,eAAe,EAAE,CAAC;IAC3B,CAAC;IAED,UAAU;QACN,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC;IAChC,CAAC;IAED,cAAc,CAAC,IAAU;;QACrB,MAAM,SAAS,GAAG,MAAA,IAAI,CAAC,KAAK,0CAAE,aAAa,CAAC;QAC5C,IAAA,cAAM,EAAC,SAAS,KAAK,SAAS,CAAC,CAAC;QAEhC,IAAI,SAAS,CAAC,aAAa,EAAE;YACzB,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,aAAa,EAAE;gBAC3C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnB,IAAI,IAAI,CAAC,eAAe,EAAE;oBACtB,MAAM;iBACT;aACJ;SACJ;IACL,CAAC;IAED,YAAY,CAAC,IAAiB;QAC1B,iBAAiB;IACrB,CAAC;IAED,QAAQ,CAAC,IAAa;QAClB,iBAAiB;IACrB,CAAC;IAED,YAAY,CAAC,IAAiB;QAC1B,iBAAiB;IACrB,CAAC;IAED,UAAU,CAAC,IAAe;QACtB,iBAAiB;IACrB,CAAC;IAED,aAAa,CAAC,IAAkB;;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YACpD,mDAAmD;YACnD,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAChC,MAAM,SAAS,GAAG,oBAAY,CAAC,yBAAyB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAClE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACrB,IAAI,IAAI,CAAC,eAAe,EAAE;oBACtB,MAAM;iBACT;aACJ;SACJ;QAED,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,oBAAY,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAY,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE;YACvG,MAAM,UAAU,GAAG,MAAA,IAAI,CAAC,MAAM,CAAC,kBAAkB,mCAAI,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC;YAClF,IAAI,UAAU,EAAE;gBACZ,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;aACzB;SACJ;IACL,CAAC;IAED,uBAAuB,CAAC,IAA4B;QAChD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE;YACxC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACpB,IAAI,IAAI,CAAC,eAAe,EAAE;gBACtB,MAAM;aACT;SACJ;IACL,CAAC;IAED,UAAU,CAAC,IAAe;;QACtB,IAAI,CAAC,iBAAS,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE;YACvC,MAAM,QAAQ,GAAG,CAAA,MAAA,IAAI,CAAC,IAAI,CAAC,kBAAkB,0CAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAI,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC;YAC7F,IAAI,QAAQ,EAAE;gBACV,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE;oBAC5B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACnB,IAAI,IAAI,CAAC,eAAe,EAAE;wBACtB,MAAM;qBACT;iBACJ;aACJ;SACJ;IACL,CAAC;IAED,WAAW,CAAC,IAAgB;QACxB,iBAAiB;IACrB,CAAC;IAED,UAAU,CAAC,IAAe;QACtB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE;YACtC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACnB,IAAI,IAAI,CAAC,eAAe,EAAE;gBACtB,MAAM;aACT;SACJ;IACL,CAAC;IAED,YAAY,CAAC,IAAiB;QAC1B,iBAAiB;IACrB,CAAC;CACJ;AA1KD,gCA0KC"}
+{"version":3,"file":"typeWalker.js","sourceRoot":"","sources":["../../../../../src/analyzer/typeWalker.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAEH,2CAAsD;AACtD,mCAciB;AAEjB,MAAa,UAAU;IAAvB;QACY,oBAAe,GAAG,CAAC,CAAC;QACpB,oBAAe,GAAG,KAAK,CAAC;QACxB,uBAAkB,GAAG,KAAK,CAAC;IAuKvC,CAAC;IArKG,IAAI,mBAAmB;QACnB,OAAO,IAAI,CAAC,kBAAkB,CAAC;IACnC,CAAC;IAED,IAAI,cAAc;QACd,OAAO,IAAI,CAAC,eAAe,CAAC;IAChC,CAAC;IAED,IAAI,CAAC,IAAU;;QACX,IAAI,IAAI,CAAC,eAAe,GAAG,6BAAqB,EAAE;YAC9C,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC;YAC/B,OAAO;SACV;QAED,IAAI,IAAI,CAAC,eAAe,EAAE;YACtB,OAAO;SACV;QAED,IAAI,CAAC,eAAe,EAAE,CAAC;QAEvB,IAAI,MAAA,IAAI,CAAC,KAAK,0CAAE,aAAa,EAAE;YAC3B,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;SAC7B;QAED,QAAQ,IAAI,CAAC,QAAQ,EAAE;YACnB;gBACI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM;YAEV;gBACI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACpB,MAAM;YAEV;gBACI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM;YAEV;gBACI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBACtB,MAAM;YAEV;gBACI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBACzB,MAAM;YAEV;gBACI,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;gBACnC,MAAM;YAEV;gBACI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBACtB,MAAM;YAEV;gBACI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBACvB,MAAM;YAEV;gBACI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBACtB,MAAM;YAEV;gBACI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM;YAEV;gBACI,IAAA,mBAAW,EAAC,IAAI,CAAC,CAAC;SACzB;QAED,IAAI,CAAC,eAAe,EAAE,CAAC;IAC3B,CAAC;IAED,UAAU;QACN,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC;IAChC,CAAC;IAED,cAAc,CAAC,IAAU;;QACrB,MAAM,SAAS,GAAG,MAAA,IAAI,CAAC,KAAK,0CAAE,aAAa,CAAC;QAC5C,IAAA,cAAM,EAAC,SAAS,KAAK,SAAS,CAAC,CAAC;QAEhC,IAAI,SAAS,CAAC,QAAQ,EAAE;YACpB,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,QAAQ,EAAE;gBACtC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnB,IAAI,IAAI,CAAC,eAAe,EAAE;oBACtB,MAAM;iBACT;aACJ;SACJ;IACL,CAAC;IAED,YAAY,CAAC,IAAiB;QAC1B,iBAAiB;IACrB,CAAC;IAED,QAAQ,CAAC,IAAa;QAClB,iBAAiB;IACrB,CAAC;IAED,YAAY,CAAC,IAAiB;QAC1B,iBAAiB;IACrB,CAAC;IAED,UAAU,CAAC,IAAe;QACtB,iBAAiB;IACrB,CAAC;IAED,aAAa,CAAC,IAAkB;;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YACpD,mDAAmD;YACnD,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAChC,MAAM,SAAS,GAAG,oBAAY,CAAC,qBAAqB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC9D,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACrB,IAAI,IAAI,CAAC,eAAe,EAAE;oBACtB,MAAM;iBACT;aACJ;SACJ;QAED,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,oBAAY,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAY,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE;YACvG,MAAM,UAAU,GAAG,MAAA,IAAI,CAAC,MAAM,CAAC,kBAAkB,mCAAI,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC;YAClF,IAAI,UAAU,EAAE;gBACZ,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;aACzB;SACJ;IACL,CAAC;IAED,uBAAuB,CAAC,IAA4B;QAChD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE;YACxC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACpB,IAAI,IAAI,CAAC,eAAe,EAAE;gBACtB,MAAM;aACT;SACJ;IACL,CAAC;IAED,UAAU,CAAC,IAAe;;QACtB,IAAI,CAAC,iBAAS,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE;YACvC,MAAM,QAAQ,GAAG,CAAA,MAAA,IAAI,CAAC,IAAI,CAAC,aAAa,0CAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;YACnF,IAAI,QAAQ,EAAE;gBACV,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE;oBAC5B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACnB,IAAI,IAAI,CAAC,eAAe,EAAE;wBACtB,MAAM;qBACT;iBACJ;aACJ;SACJ;IACL,CAAC;IAED,WAAW,CAAC,IAAgB;QACxB,iBAAiB;IACrB,CAAC;IAED,UAAU,CAAC,IAAe;QACtB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE;YACtC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACnB,IAAI,IAAI,CAAC,eAAe,EAAE;gBACtB,MAAM;aACT;SACJ;IACL,CAAC;IAED,YAAY,CAAC,IAAiB;QAC1B,iBAAiB;IACrB,CAAC;CACJ;AA1KD,gCA0KC"}

package/dist/analyzer/typedDicts.d.ts

@@ -1,10 +1,10 @@
 import { DiagnosticAddendum } from '../common/diagnostic';
 import { ClassNode, ExpressionNode, IndexNode } from '../parser/parseNodes';
-import { EvaluatorUsage, FunctionArgument, TypeEvaluator, TypeResult, TypeResultWithNode } from './typeEvaluatorTypes';
+import { Arg, EvaluatorUsage, TypeEvaluator, TypeResult, TypeResultWithNode } from './typeEvaluatorTypes';
 import { ClassType, Type, TypedDictEntries, TypedDictEntry } from './types';
 import { AssignTypeFlags } from './typeUtils';
 import { TypeVarContext } from './typeVarContext';
-export declare function createTypedDictType(evaluator: TypeEvaluator, errorNode: ExpressionNode, typedDictClass: ClassType, argList: FunctionArgument[]): ClassType;
+export declare function createTypedDictType(evaluator: TypeEvaluator, errorNode: ExpressionNode, typedDictClass: ClassType, argList: Arg[]): ClassType;
 export declare function synthesizeTypedDictClassMethods(evaluator: TypeEvaluator, node: ClassNode | ExpressionNode, classType: ClassType): void;
 export declare function getTypedDictMembersForClass(evaluator: TypeEvaluator, classType: ClassType, allowNarrowed?: boolean): TypedDictEntries;
 export declare function getTypedDictMappingEquivalent(evaluator: TypeEvaluator, classType: ClassType): Type | undefined;