@zzzen/pyright-internal 1.2.0-dev.20250323 → 1.2.0-dev.20250406

package/dist/analyzer/checker.js

@@ -943,7 +943,9 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         const typeResult = this._evaluator.getTypeResult(node.d.member);
         const type = typeResult?.type ?? types_1.UnknownType.create();
         const leftExprType = this._evaluator.getType(node.d.leftExpr);
-        this._reportDeprecatedUseForType(node.d.member, type, leftExprType && (0, types_1.isModule)(leftExprType) && leftExprType.priv.moduleName === 'typing');
+        const moduleName = leftExprType && (0, types_1.isModule)(leftExprType) ? leftExprType.priv.moduleName : undefined;
+        const isImportedFromTyping = moduleName === 'typing' || moduleName === 'typing_extensions';
+        this._reportDeprecatedUseForType(node.d.member, type, isImportedFromTyping);
         if (typeResult?.memberAccessDeprecationInfo) {
             this._reportDeprecatedUseForMemberAccess(node.d.member, typeResult.memberAccessDeprecationInfo);
         }
@@ -1016,7 +1018,8 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         let isImportFromTyping = false;
         if (node.parent?.nodeType === 25 /* ParseNodeType.ImportFrom */) {
             if (node.parent.d.module.d.leadingDots === 0 && node.parent.d.module.d.nameParts.length === 1) {
-                if (node.parent.d.module.d.nameParts[0].d.value === 'typing') {
+                const namePart = node.parent.d.module.d.nameParts[0].d.value;
+                if (namePart === 'typing' || namePart === 'typing_extensions') {
                     isImportFromTyping = true;
                 }
             }
@@ -3378,9 +3381,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                     // If the function consists entirely of "...", assume that it's
                     // an abstract method or a protocol method and don't require that
                     // the return type matches. This check can also be skipped for an overload.
-                    if (!ParseTreeUtils.isSuiteEmpty(node.d.suite) &&
-                        !types_1.FunctionType.isOverloaded(functionType) &&
-                        !types_1.FunctionType.isAsync(functionType)) {
+                    if (!ParseTreeUtils.isSuiteEmpty(node.d.suite) && !types_1.FunctionType.isOverloaded(functionType)) {
                         this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportReturnType, localize_1.LocMessage.noReturnReturnsNone(), returnAnnotation);
                     }
                 }
@@ -4606,7 +4607,13 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         }
         const baseClass = baseClassAndSymbol.classType;
         const childClassSelf = types_1.ClassType.cloneAsInstance((0, typeUtils_1.selfSpecializeClass)(childClassType, { useBoundTypeVars: true }));
-        let baseType = (0, typeUtils_1.partiallySpecializeType)(this._evaluator.getEffectiveTypeOfSymbol(baseClassAndSymbol.symbol), baseClass, this._evaluator.getTypeClassType(), childClassSelf);
+        // The "Self" value for the base class depends on whether it's a
+        // protocol or not. It's not clear from the typing spec whether
+        // this is the correct behavior.
+        const baseClassSelf = types_1.ClassType.isProtocolClass(baseClass)
+            ? childClassSelf
+            : types_1.ClassType.cloneAsInstance((0, typeUtils_1.selfSpecializeClass)(baseClass, { useBoundTypeVars: true }));
+        let baseType = (0, typeUtils_1.partiallySpecializeType)(this._evaluator.getEffectiveTypeOfSymbol(baseClassAndSymbol.symbol), baseClass, this._evaluator.getTypeClassType(), baseClassSelf);
         overrideType = (0, typeUtils_1.partiallySpecializeType)(overrideType, childClassType, this._evaluator.getTypeClassType(), childClassSelf);
         if (childClassType.shared.typeVarScopeId) {
             overrideType = (0, typeUtils_1.makeTypeVarsBound)(overrideType, [childClassType.shared.typeVarScopeId]);