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

package/dist/analyzer/checker.js

@@ -1,17 +1,4 @@
 "use strict";
-/*
- * checker.ts
- * Copyright (c) Microsoft Corporation.
- * Licensed under the MIT license.
- * Author: Eric Traut
- *
- * A parse tree walker that performs static type checking for
- * a source file. Most of its work is performed by the type
- * evaluator, but this module touches every node in the file
- * to ensure that all statements and expressions are evaluated
- * and checked. It also performs some additional checks that
- * cannot (or should not be) performed lazily.
- */
 var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
     if (k2 === undefined) k2 = k;
     Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
@@ -33,6 +20,20 @@ var __importStar = (this && this.__importStar) || function (mod) {
 };
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.Checker = void 0;
+/*
+ * checker.ts
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ * Author: Eric Traut
+ *
+ * A parse tree walker that performs static type checking for
+ * a source file. Most of its work is performed by the type
+ * evaluator, but this module touches every node in the file
+ * to ensure that all statements and expressions are evaluated
+ * and checked. It also performs some additional checks that
+ * cannot (or should not be) performed lazily.
+ */
+const vscode_languageserver_1 = require("vscode-languageserver");
 const debug_1 = require("../common/debug");
 const diagnostic_1 = require("../common/diagnostic");
 const diagnosticRules_1 = require("../common/diagnosticRules");
@@ -104,12 +105,13 @@ const deprecatedSpecialForms = new Map([
 // functions to be emitted.
 const isPrintCodeComplexityEnabled = false;
 class Checker extends parseTreeWalker_1.ParseTreeWalker {
-    constructor(_importResolver, _evaluator, _parseResults, _sourceMapper) {
+    constructor(_importResolver, _evaluator, _parseResults, _sourceMapper, _dependentFiles) {
         super();
         this._importResolver = _importResolver;
         this._evaluator = _evaluator;
         this._parseResults = _parseResults;
         this._sourceMapper = _sourceMapper;
+        this._dependentFiles = _dependentFiles;
         this._isUnboundCheckSuppressed = false;
         // A list of all nodes that are defined within the module that
         // have their own scopes.
@@ -1359,7 +1361,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             var _a, _b, _c, _d, _e, _f;
             const nameType = this._evaluator.getType(nameNode);
             ``;
-            if (nameType && (0, types_1.isTypeVar)(nameType)) {
+            if (nameType && (0, types_1.isTypeVar)(nameType) && !nameType.details.isSynthesizedSelf) {
                 // Does this name refer to a TypeVar that is scoped to this function?
                 if (nameType.scopeId === this._evaluator.getScopeIdForNode(node)) {
                     // We exempt constrained TypeVars, bound TypeVars that are type arguments of
@@ -1768,11 +1770,13 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         });
     }
     _validateSymbolTables() {
+        var _a;
+        const dependentFileInfo = (_a = this._dependentFiles) === null || _a === void 0 ? void 0 : _a.map((p) => AnalyzerNodeInfo.getFileInfo(p.parseTree));
         for (const scopedNode of this._scopedNodes) {
             const scope = AnalyzerNodeInfo.getScope(scopedNode);
             if (scope) {
                 scope.symbolTable.forEach((symbol, name) => {
-                    this._conditionallyReportUnusedSymbol(name, symbol, scope.type);
+                    this._conditionallyReportUnusedSymbol(name, symbol, scope.type, dependentFileInfo);
                     this._reportIncompatibleDeclarations(name, symbol);
                     this._reportMultipleFinalDeclarations(name, symbol, scope.type);
                     this._reportMultipleTypeAliasDeclarations(name, symbol);
@@ -2115,11 +2119,14 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             }
         }
     }
-    _conditionallyReportUnusedSymbol(name, symbol, scopeType) {
+    _conditionallyReportUnusedSymbol(name, symbol, scopeType, dependentFileInfo) {
         const accessedSymbolSet = this._fileInfo.accessedSymbolSet;
-        if (symbol.isIgnoredForProtocolMatch() ||
-            accessedSymbolSet.has(symbol.id) ||
-            this._fileInfo.ipythonMode === sourceFile_1.IPythonMode.CellDocs) {
+        if (symbol.isIgnoredForProtocolMatch() || accessedSymbolSet.has(symbol.id)) {
+            return;
+        }
+        // If this file is implicitly imported by other files, we need to make sure the symbol defined in
+        // the current file is not accessed from those other files.
+        if (dependentFileInfo && dependentFileInfo.some((i) => i.accessedSymbolSet.has(symbol.id))) {
             return;
         }
         // A name of "_" means "I know this symbol isn't used", so
@@ -2686,7 +2693,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         const stdlibPath = this._importResolver.getTypeshedStdLibPath(this._fileInfo.executionEnvironment);
         if (stdlibPath && this._importResolver.isStdlibModule(module, this._fileInfo.executionEnvironment)) {
             // If the definition for this name is in 'user' module, it is overwriting the stdlib module.
-            const definitions = definitionProvider_1.DefinitionProvider.getDefinitionsForNode(this._sourceMapper, namePartNodes[namePartNodes.length - 1], definitionProvider_1.DefinitionFilter.All, this._evaluator);
+            const definitions = definitionProvider_1.DefinitionProvider.getDefinitionsForNode(this._sourceMapper, namePartNodes[namePartNodes.length - 1], definitionProvider_1.DefinitionFilter.All, this._evaluator, vscode_languageserver_1.CancellationToken.None);
             const paths = definitions ? definitions.map((d) => d.path) : [];
             paths.forEach((p) => {
                 if (!p.startsWith(stdlibPath) && !(0, sourceMapper_1.isStubFile)(p) && this._sourceMapper.isUserCode(p)) {