@zzzen/pyright-internal 1.2.0-dev.20231001 → 1.2.0-dev.20231015

package/dist/analyzer/checker.d.ts

@@ -103,7 +103,9 @@ export declare class Checker extends ParseTreeWalker {
     private _validateIsInstanceCall;
     private _isTypeSupportedTypeForIsInstance;
     private _isSymbolPrivate;
-    private _reportDeprecatedUse;
+    private _reportDeprecatedUseForMemberAccess;
+    private _reportDeprecatedUseForType;
+    private _reportDeprecatedDiagnostic;
     private _reportUnboundName;
     private _conditionallyReportShadowedModule;
     private _conditionallyReportShadowedImport;

package/dist/analyzer/checker.js

@@ -168,14 +168,12 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                 // have the proper variance.
                 this._validateProtocolTypeParamVariance(node, classTypeResult.classType);
             }
-            // Skip the overrides check for stub files. Many of the built-in
-            // typeshed stub files trigger this diagnostic. Also skip the slots
-            // check because class variables declared in a stub file are
-            // interpreted as instance variables.
+            // Skip the slots check because class variables declared in a stub
+            // file are interpreted as instance variables.
             if (!this._fileInfo.isStubFile) {
-                this._validateBaseClassOverrides(classTypeResult.classType);
                 this._validateSlotsClassVarConflict(classTypeResult.classType);
             }
+            this._validateBaseClassOverrides(classTypeResult.classType);
             this._validateMultipleInheritanceBaseClasses(classTypeResult.classType, node.name);
             this._validateMultipleInheritanceCompatibility(classTypeResult.classType, node.name);
             this._validateConstructorConsistency(classTypeResult.classType);
@@ -590,8 +588,11 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         return true;
     }
     visitYield(node) {
-        const yieldType = node.expression ? this._evaluator.getType(node.expression) : types_1.NoneType.createInstance();
-        this._validateYieldType(node, yieldType || types_1.UnknownType.create());
+        var _a;
+        const yieldTypeResult = node.expression
+            ? this._evaluator.getTypeResult(node.expression)
+            : { type: types_1.NoneType.createInstance() };
+        this._validateYieldType(node, (_a = yieldTypeResult === null || yieldTypeResult === void 0 ? void 0 : yieldTypeResult.type) !== null && _a !== void 0 ? _a : types_1.UnknownType.create(), yieldTypeResult === null || yieldTypeResult === void 0 ? void 0 : yieldTypeResult.expectedTypeDiagAddendum);
         return true;
     }
     visitYieldFrom(node) {
@@ -619,7 +620,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                     (_d = (_c = this._evaluator.getTypeOfIterator({ type: yieldFromType }, /* isAsync */ false, node)) === null || _c === void 0 ? void 0 : _c.type) !== null && _d !== void 0 ? _d : types_1.UnknownType.create();
             }
         }
-        this._validateYieldType(node, yieldType, sendType);
+        this._validateYieldType(node, yieldType, /* expectedDiagAddendum */ undefined, sendType);
         return true;
     }
     visitRaise(node) {
@@ -892,7 +893,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         }
         // Report the use of a deprecated symbol.
         const type = this._evaluator.getType(node);
-        this._reportDeprecatedUse(node, type);
+        this._reportDeprecatedUseForType(node, type);
         return true;
     }
     visitDel(node) {
@@ -903,9 +904,14 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         return false;
     }
     visitMemberAccess(node) {
-        const type = this._evaluator.getType(node);
+        var _a;
+        const typeResult = this._evaluator.getTypeResult(node);
+        const type = (_a = typeResult === null || typeResult === void 0 ? void 0 : typeResult.type) !== null && _a !== void 0 ? _a : types_1.UnknownType.create();
         const leftExprType = this._evaluator.getType(node.leftExpression);
-        this._reportDeprecatedUse(node.memberName, type, leftExprType && (0, types_1.isModule)(leftExprType) && leftExprType.moduleName === 'typing');
+        this._reportDeprecatedUseForType(node.memberName, type, leftExprType && (0, types_1.isModule)(leftExprType) && leftExprType.moduleName === 'typing');
+        if (typeResult === null || typeResult === void 0 ? void 0 : typeResult.memberAccessDeprecationInfo) {
+            this._reportDeprecatedUseForMemberAccess(node.memberName, typeResult.memberAccessDeprecationInfo);
+        }
         this._conditionallyReportPrivateUsage(node.memberName);
         // Walk the leftExpression but not the memberName.
         this.walk(node.leftExpression);
@@ -977,7 +983,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             }
         }
         const type = this._evaluator.getType((_b = node.alias) !== null && _b !== void 0 ? _b : node.name);
-        this._reportDeprecatedUse(node.name, type, isImportFromTyping);
+        this._reportDeprecatedUseForType(node.name, type, isImportFromTyping);
         return false;
     }
     visitModuleName(node) {
@@ -2541,7 +2547,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         const filterType = (varType) => {
             const filteredTypes = [];
             for (const filterType of classTypeList) {
-                const filterIsSuperclass = (0, typeGuards_1.isIsinstanceFilterSuperclass)(this._evaluator, varType, filterType, filterType, isInstanceCheck);
+                const filterIsSuperclass = (0, typeGuards_1.isIsinstanceFilterSuperclass)(this._evaluator, varType, varType, filterType, filterType, isInstanceCheck);
                 const filterIsSubclass = (0, typeGuards_1.isIsinstanceFilterSubclass)(this._evaluator, varType, filterType, isInstanceCheck);
                 // Normally, a class should never be both a subclass and a
                 // superclass. However, this can happen if one of the classes
@@ -2648,7 +2654,9 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                     }
                     break;
                 case 5 /* Function */:
-                    isSupported = types_1.TypeBase.isInstantiable(subtype);
+                    if (!types_1.TypeBase.isInstantiable(subtype) || subtype.isCallableWithTypeArgs) {
+                        isSupported = false;
+                    }
                     break;
                 case 9 /* Union */:
                     isSupported = this._isTypeSupportedTypeForIsInstance(subtype, isInstanceCheck);
@@ -2677,7 +2685,35 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         }
         return false;
     }
-    _reportDeprecatedUse(node, type, isImportFromTyping = false) {
+    _reportDeprecatedUseForMemberAccess(node, info) {
+        let errorMessage;
+        if (info.accessType === 'property') {
+            if (info.accessMethod === 'get') {
+                errorMessage = localize_1.Localizer.Diagnostic.deprecatedPropertyGetter().format({ name: node.value });
+            }
+            else if (info.accessMethod === 'set') {
+                errorMessage = localize_1.Localizer.Diagnostic.deprecatedPropertySetter().format({ name: node.value });
+            }
+            else {
+                errorMessage = localize_1.Localizer.Diagnostic.deprecatedPropertyDeleter().format({ name: node.value });
+            }
+        }
+        else if (info.accessType === 'descriptor') {
+            if (info.accessMethod === 'get') {
+                errorMessage = localize_1.Localizer.Diagnostic.deprecatedDescriptorGetter().format({ name: node.value });
+            }
+            else if (info.accessMethod === 'set') {
+                errorMessage = localize_1.Localizer.Diagnostic.deprecatedDescriptorSetter().format({ name: node.value });
+            }
+            else {
+                errorMessage = localize_1.Localizer.Diagnostic.deprecatedDescriptorDeleter().format({ name: node.value });
+            }
+        }
+        if (errorMessage) {
+            this._reportDeprecatedDiagnostic(node, errorMessage, info.deprecationMessage);
+        }
+    }
+    _reportDeprecatedUseForType(node, type, isImportFromTyping = false) {
         var _a, _b;
         if (!type) {
             return;
@@ -2765,16 +2801,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             }
         });
         if (errorMessage) {
-            const diag = new diagnostic_1.DiagnosticAddendum();
-            if (deprecatedMessage) {
-                diag.addMessage(deprecatedMessage);
-            }
-            if (this._fileInfo.diagnosticRuleSet.reportDeprecated === 'none') {
-                this._evaluator.addDeprecated(errorMessage + diag.getString(), node);
-            }
-            else {
-                this._evaluator.addDiagnostic(this._fileInfo.diagnosticRuleSet.reportDeprecated, diagnosticRules_1.DiagnosticRule.reportDeprecated, errorMessage + diag.getString(), node);
-            }
+            this._reportDeprecatedDiagnostic(node, errorMessage, deprecatedMessage);
         }
         if (this._fileInfo.diagnosticRuleSet.deprecateTypingAliases) {
             const deprecatedForm = (_a = deprecatedSymbols_1.deprecatedAliases.get(node.value)) !== null && _a !== void 0 ? _a : deprecatedSymbols_1.deprecatedSpecialForms.get(node.value);
@@ -2801,6 +2828,18 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             }
         }
     }
+    _reportDeprecatedDiagnostic(node, diagnosticMessage, deprecatedMessage) {
+        const diag = new diagnostic_1.DiagnosticAddendum();
+        if (deprecatedMessage) {
+            diag.addMessage(deprecatedMessage);
+        }
+        if (this._fileInfo.diagnosticRuleSet.reportDeprecated === 'none') {
+            this._evaluator.addDeprecated(diagnosticMessage + diag.getString(), node);
+        }
+        else {
+            this._evaluator.addDiagnostic(this._fileInfo.diagnosticRuleSet.reportDeprecated, diagnosticRules_1.DiagnosticRule.reportDeprecated, diagnosticMessage + diag.getString(), node);
+        }
+    }
     _reportUnboundName(node) {
         if (this._fileInfo.diagnosticRuleSet.reportUnboundVariable === 'none') {
             return;
@@ -4035,7 +4074,9 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         if (memberName === '_') {
             return;
         }
-        const baseType = (0, typeUtils_1.partiallySpecializeType)(this._evaluator.getEffectiveTypeOfSymbol(baseClassAndSymbol.symbol), baseClassAndSymbol.classType);
+        const baseClass = baseClassAndSymbol.classType;
+        const childClassSelf = (0, typeUtils_1.selfSpecializeClass)(childClassType);
+        const baseType = (0, typeUtils_1.partiallySpecializeType)(this._evaluator.getEffectiveTypeOfSymbol(baseClassAndSymbol.symbol), baseClass, types_1.ClassType.cloneAsInstance(childClassSelf));
         if ((0, types_1.isFunction)(baseType) || (0, types_1.isOverloadedFunction)(baseType)) {
             const diagAddendum = new diagnostic_1.DiagnosticAddendum();
             if ((0, types_1.isFunction)(overrideType) || (0, types_1.isOverloadedFunction)(overrideType)) {
@@ -4054,7 +4095,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                         if (decl) {
                             const diag = this._evaluator.addDiagnostic(this._fileInfo.diagnosticRuleSet.reportIncompatibleMethodOverride, diagnosticRules_1.DiagnosticRule.reportIncompatibleMethodOverride, localize_1.Localizer.Diagnostic.incompatibleMethodOverride().format({
                                 name: memberName,
-                                className: baseClassAndSymbol.classType.details.name,
+                                className: baseClass.details.name,
                             }) + diagAddendum.getString(), decl.type === 5 /* Function */ ? decl.node.name : decl.node);
                             const origDecl = (0, symbolUtils_1.getLastTypedDeclaredForSymbol)(baseClassAndSymbol.symbol);
                             if (diag && origDecl) {
@@ -4070,7 +4111,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                         if (decl && decl.type === 5 /* Function */) {
                             const diag = this._evaluator.addError(localize_1.Localizer.Diagnostic.finalMethodOverride().format({
                                 name: memberName,
-                                className: baseClassAndSymbol.classType.details.name,
+                                className: baseClass.details.name,
                             }), decl.node.name);
                             const origDecl = (0, symbolUtils_1.getLastTypedDeclaredForSymbol)(baseClassAndSymbol.symbol);
                             if (diag && origDecl) {
@@ -4084,13 +4125,13 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                 // Special-case overrides of methods in '_TypedDict', since
                 // TypedDict attributes aren't manifest as attributes but rather
                 // as named keys.
-                if (!types_1.ClassType.isBuiltIn(baseClassAndSymbol.classType, '_TypedDict')) {
+                if (!types_1.ClassType.isBuiltIn(baseClass, '_TypedDict')) {
                     const decls = overrideSymbol.getDeclarations();
                     if (decls.length > 0) {
                         const lastDecl = decls[decls.length - 1];
                         const diag = this._evaluator.addDiagnostic(this._fileInfo.diagnosticRuleSet.reportIncompatibleMethodOverride, diagnosticRules_1.DiagnosticRule.reportIncompatibleMethodOverride, localize_1.Localizer.Diagnostic.methodOverridden().format({
                             name: memberName,
-                            className: baseClassAndSymbol.classType.details.name,
+                            className: baseClass.details.name,
                             type: this._evaluator.printType(overrideType),
                         }), lastDecl.node);
                         const origDecl = (0, symbolUtils_1.getLastTypedDeclaredForSymbol)(baseClassAndSymbol.symbol);
@@ -4108,14 +4149,14 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                 if (decls.length > 0) {
                     this._evaluator.addDiagnostic(this._fileInfo.diagnosticRuleSet.reportIncompatibleMethodOverride, diagnosticRules_1.DiagnosticRule.reportIncompatibleMethodOverride, localize_1.Localizer.Diagnostic.propertyOverridden().format({
                         name: memberName,
-                        className: baseClassAndSymbol.classType.details.name,
+                        className: baseClass.details.name,
                     }), decls[decls.length - 1].node);
                 }
             }
             else {
                 const basePropFields = baseType.details.fields;
                 const subclassPropFields = overrideType.details.fields;
-                const baseClassType = baseClassAndSymbol.classType;
+                const baseClassType = baseClass;
                 ['fget', 'fset', 'fdel'].forEach((methodName) => {
                     const diagAddendum = new diagnostic_1.DiagnosticAddendum();
                     const baseClassPropMethod = basePropFields.get(methodName);
@@ -4180,9 +4221,8 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                     let isInvariant = (primaryDecl === null || primaryDecl === void 0 ? void 0 : primaryDecl.type) === 1 /* Variable */ && !primaryDecl.isFinal;
                     // If the entry is a member of a frozen dataclass, it is immutable,
                     // so it does not need to be invariant.
-                    if (types_1.ClassType.isFrozenDataClass(baseClassAndSymbol.classType) &&
-                        baseClassAndSymbol.classType.details.dataClassEntries) {
-                        const dataclassEntry = baseClassAndSymbol.classType.details.dataClassEntries.find((entry) => entry.name === memberName);
+                    if (types_1.ClassType.isFrozenDataClass(baseClass) && baseClass.details.dataClassEntries) {
+                        const dataclassEntry = baseClass.details.dataClassEntries.find((entry) => entry.name === memberName);
                         if (dataclassEntry) {
                             isInvariant = false;
                         }
@@ -4201,7 +4241,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                         }
                         const diag = this._evaluator.addDiagnostic(this._fileInfo.diagnosticRuleSet.reportIncompatibleVariableOverride, diagnosticRules_1.DiagnosticRule.reportIncompatibleVariableOverride, localize_1.Localizer.Diagnostic.symbolOverridden().format({
                             name: memberName,
-                            className: baseClassAndSymbol.classType.details.name,
+                            className: baseClass.details.name,
                         }) + diagAddendum.getString(), (_a = (0, declarationUtils_1.getNameNodeForDeclaration)(lastDecl)) !== null && _a !== void 0 ? _a : lastDecl.node);
                         const origDecl = (0, symbolUtils_1.getLastTypedDeclaredForSymbol)(baseClassAndSymbol.symbol);
                         if (diag && origDecl) {
@@ -4214,7 +4254,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                     if (!isBaseVarFinal && overrideFinalVarDecl) {
                         const diag = this._evaluator.addDiagnostic(this._fileInfo.diagnosticRuleSet.reportIncompatibleVariableOverride, diagnosticRules_1.DiagnosticRule.reportIncompatibleVariableOverride, localize_1.Localizer.Diagnostic.variableFinalOverride().format({
                             name: memberName,
-                            className: baseClassAndSymbol.classType.details.name,
+                            className: baseClass.details.name,
                         }), lastDecl.node);
                         if (diag) {
                             diag.addRelatedInfo(localize_1.Localizer.DiagnosticAddendum.overriddenSymbol(), overrideFinalVarDecl.path, overrideFinalVarDecl.range);
@@ -4243,7 +4283,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                             : localize_1.Localizer.Diagnostic.instanceVarOverridesClassVar();
                         const diag = this._evaluator.addDiagnostic(this._fileInfo.diagnosticRuleSet.reportIncompatibleVariableOverride, diagnosticRules_1.DiagnosticRule.reportIncompatibleVariableOverride, unformattedMessage.format({
                             name: memberName,
-                            className: baseClassAndSymbol.classType.details.name,
+                            className: baseClass.details.name,
                         }), (_b = (0, declarationUtils_1.getNameNodeForDeclaration)(lastDecl)) !== null && _b !== void 0 ? _b : lastDecl.node);
                         const origDecl = (0, symbolUtils_1.getLastTypedDeclaredForSymbol)(baseClassAndSymbol.symbol);
                         if (diag && origDecl) {
@@ -4487,8 +4527,8 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
     }
     // Determines whether a yield or yield from node is compatible with the
     // return type annotation of the containing function.
-    _validateYieldType(node, yieldType, sendType) {
-        var _a;
+    _validateYieldType(node, yieldType, expectedDiagAddendum, sendType) {
+        var _a, _b, _c, _d;
         const enclosingFunctionNode = ParseTreeUtils.getEnclosingFunction(node);
         if (!enclosingFunctionNode || !enclosingFunctionNode.returnTypeAnnotation) {
             return;
@@ -4529,7 +4569,8 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             const errorMessage = enclosingFunctionNode.isAsync
                 ? localize_1.Localizer.Diagnostic.generatorAsyncReturnType()
                 : localize_1.Localizer.Diagnostic.generatorSyncReturnType();
-            this._evaluator.addDiagnostic(this._fileInfo.diagnosticRuleSet.reportGeneralTypeIssues, diagnosticRules_1.DiagnosticRule.reportGeneralTypeIssues, errorMessage.format({ yieldType: this._evaluator.printType(yieldType) }) + diagAddendum.getString(), (_a = node.expression) !== null && _a !== void 0 ? _a : node);
+            this._evaluator.addDiagnostic(this._fileInfo.diagnosticRuleSet.reportGeneralTypeIssues, diagnosticRules_1.DiagnosticRule.reportGeneralTypeIssues, errorMessage.format({ yieldType: this._evaluator.printType(yieldType) }) +
+                ((_a = expectedDiagAddendum === null || expectedDiagAddendum === void 0 ? void 0 : expectedDiagAddendum.getString()) !== null && _a !== void 0 ? _a : diagAddendum.getString()), (_b = node.expression) !== null && _b !== void 0 ? _b : node, (_d = (_c = expectedDiagAddendum === null || expectedDiagAddendum === void 0 ? void 0 : expectedDiagAddendum.getEffectiveTextRange()) !== null && _c !== void 0 ? _c : node.expression) !== null && _d !== void 0 ? _d : node);
         }
     }
     // Determines whether any of the except statements are unreachable because