@zzzen/pyright-internal 1.2.0-dev.20230129 → 1.2.0-dev.20230212

package/dist/analyzer/typeVarContext.js

@@ -10,65 +10,26 @@
  * each type variable.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.TypeVarContext = void 0;
+exports.TypeVarContext = exports.TypeVarSignatureContext = void 0;
 const debug_1 = require("../common/debug");
 const types_1 = require("./types");
 const typeUtils_1 = require("./typeUtils");
-class TypeVarContext {
-    constructor(solveForScopes) {
-        this._isLocked = false;
-        if (Array.isArray(solveForScopes)) {
-            this._solveForScopes = solveForScopes;
-        }
-        else if (solveForScopes !== undefined) {
-            this._solveForScopes = [solveForScopes];
-        }
-        else {
-            this._solveForScopes = undefined;
-        }
+class TypeVarSignatureContext {
+    constructor() {
         this._typeVarMap = new Map();
     }
     clone() {
-        const newTypeVarMap = new TypeVarContext();
-        if (this._solveForScopes) {
-            newTypeVarMap._solveForScopes = [...this._solveForScopes];
-        }
+        const newContext = new TypeVarSignatureContext();
         this._typeVarMap.forEach((value) => {
-            newTypeVarMap.setTypeVarType(value.typeVar, value.narrowBound, value.narrowBoundNoLiterals, value.wideBound);
-        });
-        if (this._tupleTypeVarMap) {
-            this._tupleTypeVarMap.forEach((value) => {
-                newTypeVarMap.setTupleTypeVar(value.typeVar, value.types);
-            });
-        }
-        newTypeVarMap._isLocked = this._isLocked;
-        return newTypeVarMap;
-    }
-    // Copies a cloned type var map back into this object.
-    copyFromClone(clone) {
-        this._typeVarMap = clone._typeVarMap;
-        this._tupleTypeVarMap = clone._tupleTypeVarMap;
-        this._isLocked = clone._isLocked;
-    }
-    // Returns the list of scopes this type var map is "solving".
-    getSolveForScopes() {
-        return this._solveForScopes;
-    }
-    hasSolveForScope(scopeId) {
-        return (scopeId !== undefined &&
-            this._solveForScopes !== undefined &&
-            this._solveForScopes.some((s) => s === scopeId || s === types_1.WildcardTypeVarScopeId));
-    }
-    setSolveForScopes(scopeIds) {
-        this._solveForScopes = scopeIds;
-    }
-    addSolveForScope(scopeId) {
-        if (scopeId !== undefined && !this.hasSolveForScope(scopeId)) {
-            if (!this._solveForScopes) {
-                this._solveForScopes = [];
+            newContext.setTypeVarType(value.typeVar, value.narrowBound, value.narrowBoundNoLiterals, value.wideBound);
+            if (value.tupleTypes) {
+                newContext.setTupleTypeVar(value.typeVar, value.tupleTypes);
             }
-            this._solveForScopes.push(scopeId);
+        });
+        if (this._sourceTypeVarScopeId) {
+            this._sourceTypeVarScopeId.forEach((scopeId) => newContext.addSourceTypeVarScopeId(scopeId));
         }
+        return newContext;
     }
     isEmpty() {
         return this._typeVarMap.size === 0;
@@ -89,12 +50,9 @@ class TypeVarContext {
         });
         return score;
     }
-    hasTypeVar(reference) {
-        return this._typeVarMap.has(this._getKey(reference));
-    }
     getTypeVarType(reference, useNarrowBoundOnly = false) {
         var _a, _b;
-        const entry = this._typeVarMap.get(this._getKey(reference));
+        const entry = this.getTypeVar(reference);
         if (!entry) {
             return undefined;
         }
@@ -107,7 +65,7 @@ class TypeVarContext {
         return (_b = (_a = entry.narrowBoundNoLiterals) !== null && _a !== void 0 ? _a : entry.narrowBound) !== null && _b !== void 0 ? _b : entry.wideBound;
     }
     getParamSpecType(reference) {
-        const entry = this._typeVarMap.get(this._getKey(reference));
+        const entry = this.getTypeVar(reference);
         if (!(entry === null || entry === void 0 ? void 0 : entry.narrowBound)) {
             return undefined;
         }
@@ -117,25 +75,21 @@ class TypeVarContext {
         return undefined;
     }
     setTypeVarType(reference, narrowBound, narrowBoundNoLiterals, wideBound) {
-        (0, debug_1.assert)(!this._isLocked, 'TypeVarContext is locked');
-        const key = this._getKey(reference);
+        const key = types_1.TypeVarType.getNameWithScope(reference);
         this._typeVarMap.set(key, { typeVar: reference, narrowBound, narrowBoundNoLiterals, wideBound });
     }
     getTupleTypeVar(reference) {
-        var _a, _b;
-        return (_b = (_a = this._tupleTypeVarMap) === null || _a === void 0 ? void 0 : _a.get(this._getKey(reference))) === null || _b === void 0 ? void 0 : _b.types;
+        var _a;
+        return (_a = this.getTypeVar(reference)) === null || _a === void 0 ? void 0 : _a.tupleTypes;
     }
     setTupleTypeVar(reference, types) {
-        (0, debug_1.assert)(!this._isLocked);
-        const key = this._getKey(reference);
-        // Allocate tuple TypeVar map on demand since most classes don't use it.
-        if (!this._tupleTypeVarMap) {
-            this._tupleTypeVarMap = new Map();
-        }
-        this._tupleTypeVarMap.set(key, { typeVar: 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 = this._getKey(reference);
+        const key = types_1.TypeVarType.getNameWithScope(reference);
         return this._typeVarMap.get(key);
     }
     getTypeVars() {
@@ -147,13 +101,6 @@ class TypeVarContext {
     }
     // Applies solved TypeVars from one context to this context.
     applySourceContextTypeVars(srcContext) {
-        var _a;
-        // If there are no solved TypeVars, don't bother.
-        if (srcContext.getTypeVarCount() === 0) {
-            return;
-        }
-        const wasLocked = this.isLocked();
-        this.unlock();
         this._typeVarMap.forEach((entry) => {
             const newNarrowTypeBound = entry.narrowBound
                 ? (0, typeUtils_1.applySolvedTypeVars)(entry.narrowBound, srcContext)
@@ -163,41 +110,34 @@ class TypeVarContext {
                 : undefined;
             const newWideTypeBound = entry.wideBound ? (0, typeUtils_1.applySolvedTypeVars)(entry.wideBound, srcContext) : undefined;
             this.setTypeVarType(entry.typeVar, newNarrowTypeBound, newNarrowTypeBoundNoLiterals, newWideTypeBound);
+            if (entry.tupleTypes) {
+                this.setTupleTypeVar(entry.typeVar, entry.tupleTypes.map((arg) => {
+                    return { isUnbounded: arg.isUnbounded, type: (0, typeUtils_1.applySolvedTypeVars)(arg.type, srcContext) };
+                }));
+            }
         });
-        (_a = this._tupleTypeVarMap) === null || _a === void 0 ? void 0 : _a.forEach((entry) => {
-            const updatedTypes = entry.types.map((arg) => {
-                return { isUnbounded: arg.isUnbounded, type: (0, typeUtils_1.applySolvedTypeVars)(arg.type, srcContext) };
-            });
-            this.setTupleTypeVar(entry.typeVar, updatedTypes);
-        });
-        if (wasLocked) {
-            this.lock();
-        }
     }
     getTypeVarCount() {
         return this._typeVarMap.size;
     }
     getWideTypeBound(reference) {
-        const entry = this._typeVarMap.get(this._getKey(reference));
+        const entry = this.getTypeVar(reference);
         if (entry) {
             return entry.wideBound;
         }
         return undefined;
     }
-    lock() {
-        // Locks the type var map, preventing any further changes.
-        (0, debug_1.assert)(!this._isLocked);
-        this._isLocked = true;
-    }
-    unlock() {
-        // Unlocks the type var map, allowing further changes.
-        this._isLocked = false;
-    }
-    isLocked() {
-        return this._isLocked;
+    addSourceTypeVarScopeId(scopeId) {
+        if (!this._sourceTypeVarScopeId) {
+            this._sourceTypeVarScopeId = new Set();
+        }
+        this._sourceTypeVarScopeId.add(scopeId);
     }
-    _getKey(reference) {
-        return types_1.TypeVarType.getNameWithScope(reference);
+    hasSourceTypeVarScopeId(scopeId) {
+        if (!this._sourceTypeVarScopeId) {
+            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
@@ -230,8 +170,10 @@ class TypeVarContext {
                         maxScore = Math.max(maxScore, subtypeScore);
                     });
                 }
-                // Assume that a union is more complex than a non-union.
-                return 0.75 + maxScore / 4;
+                else {
+                    maxScore = 0.5;
+                }
+                return maxScore;
             }
             case 7 /* Class */: {
                 return this._getComplexityScoreForClass(type, recursionCount);
@@ -265,5 +207,137 @@ class TypeVarContext {
         return 0.5 + averageTypeArgComplexity * 0.25;
     }
 }
+exports.TypeVarSignatureContext = TypeVarSignatureContext;
+class TypeVarContext {
+    constructor(solveForScopes) {
+        this._isLocked = false;
+        if (Array.isArray(solveForScopes)) {
+            this._solveForScopes = solveForScopes;
+        }
+        else if (solveForScopes !== undefined) {
+            this._solveForScopes = [solveForScopes];
+        }
+        else {
+            this._solveForScopes = undefined;
+        }
+        this._signatureContexts = [new TypeVarSignatureContext()];
+    }
+    clone() {
+        const newTypeVarMap = new TypeVarContext();
+        if (this._solveForScopes) {
+            newTypeVarMap._solveForScopes = [...this._solveForScopes];
+        }
+        newTypeVarMap._signatureContexts = this._signatureContexts.map((context) => context.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;
+            }
+            else {
+                clonedContext._signatureContexts.forEach((context) => {
+                    context.addSourceTypeVarScopeId(typeVarScopeId);
+                });
+            }
+        }
+        return clonedContext;
+    }
+    // Copies a cloned type var context back into this object.
+    copyFromClone(clone) {
+        this._signatureContexts = clone._signatureContexts.map((context) => context.clone());
+        this._isLocked = clone._isLocked;
+    }
+    // Copy the specified signature contexts into this type var context.
+    copySignatureContexts(contexts) {
+        (0, debug_1.assert)(contexts.length > 0);
+        this._signatureContexts = [...contexts];
+    }
+    // Returns the list of scopes this type var map is "solving".
+    getSolveForScopes() {
+        return this._solveForScopes;
+    }
+    hasSolveForScope(scopeId) {
+        return (scopeId !== undefined &&
+            this._solveForScopes !== undefined &&
+            this._solveForScopes.some((s) => s === scopeId || s === types_1.WildcardTypeVarScopeId));
+    }
+    setSolveForScopes(scopeIds) {
+        this._solveForScopes = scopeIds;
+    }
+    addSolveForScope(scopeId) {
+        if (scopeId !== undefined && !this.hasSolveForScope(scopeId)) {
+            if (!this._solveForScopes) {
+                this._solveForScopes = [];
+            }
+            this._solveForScopes.push(scopeId);
+        }
+    }
+    lock() {
+        // Locks the type var map, preventing any further changes.
+        (0, debug_1.assert)(!this._isLocked);
+        this._isLocked = true;
+    }
+    unlock() {
+        // Unlocks the type var map, allowing further changes.
+        this._isLocked = false;
+    }
+    isLocked() {
+        return this._isLocked;
+    }
+    isEmpty() {
+        return this._signatureContexts.every((context) => context.isEmpty());
+    }
+    // Applies solved TypeVars from one context to this context.
+    applySourceContextTypeVars(srcContext) {
+        if (srcContext.isEmpty()) {
+            return;
+        }
+        const wasLocked = this.isLocked();
+        this.unlock();
+        this._signatureContexts.forEach((context) => context.applySourceContextTypeVars(srcContext));
+        if (wasLocked) {
+            this.lock();
+        }
+    }
+    setTypeVarType(reference, narrowBound, narrowBoundNoLiterals, wideBound) {
+        (0, debug_1.assert)(!this._isLocked);
+        return this._signatureContexts.forEach((context) => {
+            context.setTypeVarType(reference, narrowBound, narrowBoundNoLiterals, wideBound);
+        });
+    }
+    setTupleTypeVar(reference, tupleTypes) {
+        (0, debug_1.assert)(!this._isLocked);
+        return this._signatureContexts.forEach((context) => {
+            context.setTupleTypeVar(reference, tupleTypes);
+        });
+    }
+    getScore() {
+        let total = 0;
+        this._signatureContexts.forEach((context) => {
+            total += context.getScore();
+        });
+        // Return the average score among all signature contexts.
+        return total / this._signatureContexts.length;
+    }
+    getPrimarySignature() {
+        return this._signatureContexts[0];
+    }
+    getSignatureContexts() {
+        return this._signatureContexts;
+    }
+    getSignatureContext(index) {
+        (0, debug_1.assert)(index >= 0 && index < this._signatureContexts.length);
+        return this._signatureContexts[index];
+    }
+    doForEachSignature(callback) {
+        this._signatureContexts.forEach((context) => {
+            callback(context);
+        });
+    }
+}
 exports.TypeVarContext = TypeVarContext;
 //# 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,mCAYiB;AACjB,2CAAoE;AAmBpE,MAAa,cAAc;IAMvB,YAAY,cAAkD;QAFtD,cAAS,GAAG,KAAK,CAAC;QAGtB,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,WAAW,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC1D,CAAC;IAED,KAAK;QACD,MAAM,aAAa,GAAG,IAAI,cAAc,EAAE,CAAC;QAC3C,IAAI,IAAI,CAAC,eAAe,EAAE;YACtB,aAAa,CAAC,eAAe,GAAG,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC;SAC7D;QAED,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/B,aAAa,CAAC,cAAc,CACxB,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,qBAAqB,EAC3B,KAAK,CAAC,SAAS,CAClB,CAAC;QACN,CAAC,CAAC,CAAC;QAEH,IAAI,IAAI,CAAC,gBAAgB,EAAE;YACvB,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;gBACpC,aAAa,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC9D,CAAC,CAAC,CAAC;SACN;QAED,aAAa,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAEzC,OAAO,aAAa,CAAC;IACzB,CAAC;IAED,sDAAsD;IACtD,aAAa,CAAC,KAAqB;QAC/B,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC;QACrC,IAAI,CAAC,gBAAgB,GAAG,KAAK,CAAC,gBAAgB,CAAC;QAC/C,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IACrC,CAAC;IAED,6DAA6D;IAC7D,iBAAiB;QACb,OAAO,IAAI,CAAC,eAAe,CAAC;IAChC,CAAC;IAED,gBAAgB,CAAC,OAAmC;QAChD,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,IAAI,CAAC,KAAK,8BAAsB,CAAC,CAClF,CAAC;IACN,CAAC;IAED,iBAAiB,CAAC,QAA0B;QACxC,IAAI,CAAC,eAAe,GAAG,QAAQ,CAAC;IACpC,CAAC;IAED,gBAAgB,CAAC,OAAwB;QACrC,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,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,UAAU,CAAC,SAAsB;QAC7B,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,cAAc,CAAC,SAAsB,EAAE,kBAAkB,GAAG,KAAK;;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;QAC5D,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,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;QAC5D,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,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,cAAc,CACV,SAAsB,EACtB,WAA6B,EAC7B,qBAA4B,EAC5B,SAAgB;QAEhB,IAAA,cAAM,EAAC,CAAC,IAAI,CAAC,SAAS,EAAE,0BAA0B,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACpC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,qBAAqB,EAAE,SAAS,EAAE,CAAC,CAAC;IACrG,CAAC;IAED,eAAe,CAAC,SAAsB;;QAClC,OAAO,MAAA,MAAA,IAAI,CAAC,gBAAgB,0CAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,0CAAE,KAAK,CAAC;IACtE,CAAC;IAED,eAAe,CAAC,SAAsB,EAAE,KAA0B;QAC9D,IAAA,cAAM,EAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAEpC,wEAAwE;QACxE,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE;YACxB,IAAI,CAAC,gBAAgB,GAAG,IAAI,GAAG,EAAgC,CAAC;SACnE;QACD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,UAAU,CAAC,SAAsB;QAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACpC,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,4DAA4D;IAC5D,0BAA0B,CAAC,UAA0B;;QACjD,iDAAiD;QACjD,IAAI,UAAU,CAAC,eAAe,EAAE,KAAK,CAAC,EAAE;YACpC,OAAO;SACV;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,CAAC,MAAM,EAAE,CAAC;QAEd,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/B,MAAM,kBAAkB,GAAG,KAAK,CAAC,WAAW;gBACxC,CAAC,CAAC,IAAA,+BAAmB,EAAC,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC;gBACpD,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,4BAA4B,GAAG,KAAK,CAAC,qBAAqB;gBAC5D,CAAC,CAAC,IAAA,+BAAmB,EAAC,KAAK,CAAC,qBAAqB,EAAE,UAAU,CAAC;gBAC9D,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,gBAAgB,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,IAAA,+BAAmB,EAAC,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAExG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,EAAE,4BAA4B,EAAE,gBAAgB,CAAC,CAAC;QAC3G,CAAC,CAAC,CAAC;QAEH,MAAA,IAAI,CAAC,gBAAgB,0CAAE,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YACrC,MAAM,YAAY,GAAwB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC9D,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,IAAI,EAAE,IAAA,+BAAmB,EAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;YAC7F,CAAC,CAAC,CAAC;YAEH,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,IAAI,SAAS,EAAE;YACX,IAAI,CAAC,IAAI,EAAE,CAAC;SACf;IACL,CAAC;IAED,eAAe;QACX,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;IACjC,CAAC;IAED,gBAAgB,CAAC,SAAsB;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;QAC5D,IAAI,KAAK,EAAE;YACP,OAAO,KAAK,CAAC,SAAS,CAAC;SAC1B;QAED,OAAO,SAAS,CAAC;IACrB,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;IAEO,OAAO,CAAC,SAAsB;QAClC,OAAO,mBAAW,CAAC,gBAAgB,CAAC,SAAS,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,qBAA0B;YAC1B,iBAAsB;YACtB,kBAAuB;YACvB,sBAA2B;YAC3B,gCAAqC;YACrC,qBAAyB,CAAC,CAAC;gBACvB,OAAO,GAAG,CAAC;aACd;YAED,qBAA0B;YAC1B;gBACI,OAAO,GAAG,CAAC;YAEf,kBAAuB,CAAC,CAAC;gBACrB,IAAI,QAAQ,GAAG,CAAC,CAAC;gBAEjB,kEAAkE;gBAClE,wDAAwD;gBACxD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE,EAAE;oBAC3B,IAAA,4BAAgB,EAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;wBAC/B,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;gBAED,wDAAwD;gBACxD,OAAO,IAAI,GAAG,QAAQ,GAAG,CAAC,CAAC;aAC9B;YAED,kBAAuB,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,kBAAkB,EAAE;YAC9B,SAAS,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC7C,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,aAAa,EAAE;YAChC,SAAS,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBACrC,eAAe,IAAI,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBACzE,YAAY,EAAE,CAAC;YACnB,CAAC,CAAC,CAAC;SACN;aAAM,IAAI,SAAS,CAAC,OAAO,CAAC,cAAc,EAAE;YACzC,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC9C,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;AA3TD,wCA2TC"}
+{"version":3,"file":"typeVarContext.js","sourceRoot":"","sources":["../../../src/analyzer/typeVarContext.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAEH,2CAAyC;AACzC,mCAYiB;AACjB,2CAAoE;AAiBpE,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,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,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,cAAc,CACV,SAAsB,EACtB,WAA6B,EAC7B,qBAA4B,EAC5B,SAAgB;QAEhB,MAAM,GAAG,GAAG,mBAAW,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,qBAAqB,EAAE,SAAS,EAAE,CAAC,CAAC;IACrG,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,4DAA4D;IAC5D,0BAA0B,CAAC,UAA0B;QACjD,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/B,MAAM,kBAAkB,GAAG,KAAK,CAAC,WAAW;gBACxC,CAAC,CAAC,IAAA,+BAAmB,EAAC,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC;gBACpD,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,4BAA4B,GAAG,KAAK,CAAC,qBAAqB;gBAC5D,CAAC,CAAC,IAAA,+BAAmB,EAAC,KAAK,CAAC,qBAAqB,EAAE,UAAU,CAAC;gBAC9D,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,gBAAgB,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,IAAA,+BAAmB,EAAC,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAExG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,EAAE,4BAA4B,EAAE,gBAAgB,CAAC,CAAC;YAEvG,IAAI,KAAK,CAAC,UAAU,EAAE;gBAClB,IAAI,CAAC,eAAe,CAChB,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;oBACzB,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,IAAI,EAAE,IAAA,+BAAmB,EAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;gBAC7F,CAAC,CAAC,CACL,CAAC;aACL;QACL,CAAC,CAAC,CAAC;IACP,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,OAAe;QACnC,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,OAAe;QACnC,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,qBAA0B;YAC1B,iBAAsB;YACtB,kBAAuB;YACvB,sBAA2B;YAC3B,gCAAqC;YACrC,qBAAyB,CAAC,CAAC;gBACvB,OAAO,GAAG,CAAC;aACd;YAED,qBAA0B;YAC1B;gBACI,OAAO,GAAG,CAAC;YAEf,kBAAuB,CAAC,CAAC;gBACrB,IAAI,QAAQ,GAAG,CAAC,CAAC;gBAEjB,kEAAkE;gBAClE,wDAAwD;gBACxD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE,EAAE;oBAC3B,IAAA,4BAAgB,EAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;wBAC/B,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,kBAAuB,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,kBAAkB,EAAE;YAC9B,SAAS,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC7C,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,aAAa,EAAE;YAChC,SAAS,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBACrC,eAAe,IAAI,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBACzE,YAAY,EAAE,CAAC;YACnB,CAAC,CAAC,CAAC;SACN;aAAM,IAAI,SAAS,CAAC,OAAO,CAAC,cAAc,EAAE;YACzC,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC9C,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;AAnPD,0DAmPC;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,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,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC;SAC7D;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,cAAsB;QAC3C,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,IAAI,CAAC,kBAAkB,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;IAC5C,CAAC;IAED,6DAA6D;IAC7D,iBAAiB;QACb,OAAO,IAAI,CAAC,eAAe,CAAC;IAChC,CAAC;IAED,gBAAgB,CAAC,OAAmC;QAChD,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,IAAI,CAAC,KAAK,8BAAsB,CAAC,CAClF,CAAC;IACN,CAAC;IAED,iBAAiB,CAAC,QAA0B;QACxC,IAAI,CAAC,eAAe,GAAG,QAAQ,CAAC;IACpC,CAAC;IAED,gBAAgB,CAAC,OAAwB;QACrC,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,4DAA4D;IAC5D,0BAA0B,CAAC,UAA0B;QACjD,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE;YACtB,OAAO;SACV;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,CAAC,MAAM,EAAE,CAAC;QAEd,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,UAAU,CAAC,CAAC,CAAC;QAE7F,IAAI,SAAS,EAAE;YACX,IAAI,CAAC,IAAI,EAAE,CAAC;SACf;IACL,CAAC;IAED,cAAc,CACV,SAAsB,EACtB,WAA6B,EAC7B,qBAA4B,EAC5B,SAAgB;QAEhB,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,CAAC,CAAC;QACrF,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,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;CACJ;AA7KD,wCA6KC"}

package/dist/analyzer/types.d.ts

@@ -1,4 +1,4 @@
-import { ExpressionNode, ParameterCategory } from '../parser/parseNodes';
+import { ExpressionNode, NameNode, ParameterCategory } from '../parser/parseNodes';
 import { FunctionDeclaration } from './declaration';
 import { Symbol, SymbolTable } from './symbol';
 export declare const enum TypeCategory {
@@ -106,6 +106,7 @@ export interface DataClassEntry {
     isKeywordOnly: boolean;
     alias?: string | undefined;
     hasDefault?: boolean | undefined;
+    nameNode: NameNode | undefined;
     defaultValueExpression?: ExpressionNode | undefined;
     includeInInit: boolean;
     type: Type;

package/dist/analyzer/types.js

@@ -949,6 +949,7 @@ var FunctionType;
                     (2 /* ClassMethod */ |
                         4 /* StaticMethod */ |
                         1 /* ConstructorMethod */ |
+                        256 /* Overloaded */ |
                         32768 /* SkipArgsKwargsCompatibilityCheck */)) |
                     64 /* SynthesizedMethod */;
             if (FunctionType.isParamSpecValue(type)) {