@zzzen/pyright-internal 1.2.0-dev.20250202 → 1.2.0-dev.20250209

package/dist/analyzer/checker.js

@@ -475,7 +475,8 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                     this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportUnusedCallResult, localize_1.LocMessage.unusedCallResult().format({
                         type: this._evaluator.printType(returnType),
                     }), node);
-                    if ((0, types_1.isClassInstance)(returnType) && types_1.ClassType.isBuiltIn(returnType, 'Coroutine')) {
+                    if ((0, types_1.isClassInstance)(returnType) &&
+                        types_1.ClassType.isBuiltIn(returnType, ['Coroutine', 'CoroutineType'])) {
                         this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportUnusedCoroutine, localize_1.LocMessage.unusedCoroutine(), node);
                     }
                 }
@@ -643,7 +644,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         const yieldFromType = this._evaluator.getType(node.d.expr) || types_1.UnknownType.create();
         let yieldType;
         let sendType;
-        if ((0, types_1.isClassInstance)(yieldFromType) && types_1.ClassType.isBuiltIn(yieldFromType, 'Coroutine')) {
+        if ((0, types_1.isClassInstance)(yieldFromType) && types_1.ClassType.isBuiltIn(yieldFromType, ['Coroutine', 'CoroutineType'])) {
             // Handle the case of old-style (pre-await) coroutines.
             yieldType = types_1.UnknownType.create();
         }
@@ -911,6 +912,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             node.d.targets.forEach((name) => {
                 this._evaluator.getType(name);
                 this.walk(name);
+                this._validateNonlocalTypeParam(name);
             });
         });
         return false;
@@ -1188,7 +1190,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             if (!(0, types_1.isFunction)(subtype) && !(0, types_1.isOverloaded)(subtype)) {
                 isExprFunction = false;
             }
-            if (!(0, types_1.isClassInstance)(subtype) || !types_1.ClassType.isBuiltIn(subtype, 'Coroutine')) {
+            if (!(0, types_1.isClassInstance)(subtype) || !types_1.ClassType.isBuiltIn(subtype, ['Coroutine', 'CoroutineType'])) {
                 isCoroutine = false;
             }
         });
@@ -1237,6 +1239,16 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportUnusedExpression, localize_1.LocMessage.unusedExpression(), node);
         }
     }
+    // Verifies that the target of a nonlocal statement is not a PEP 695-style
+    // TypeParameter. This situation results in a runtime exception.
+    _validateNonlocalTypeParam(node) {
+        // Look up the symbol to see if it's a type parameter.
+        const symbolWithScope = this._evaluator.lookUpSymbolRecursive(node, node.d.value, /* honorCodeFlow */ false);
+        if (!symbolWithScope || symbolWithScope.scope.type !== 0 /* ScopeType.TypeParameter */) {
+            return;
+        }
+        this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportGeneralTypeIssues, localize_1.LocMessage.nonlocalTypeParam().format({ name: node.d.value }), node);
+    }
     _validateExhaustiveMatch(node) {
         // This check can be expensive, so skip it if it's disabled.
         if (this._fileInfo.diagnosticRuleSet.reportMatchNotExhaustive === 'none') {
@@ -2113,6 +2125,8 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             implementation = type;
         }
         if (!implementation) {
+            // If this is a method within a protocol class, don't require that
+            // there is an implementation.
             const containingClassNode = ParseTreeUtils.getEnclosingClassOrFunction(primaryDecl.node);
             if (containingClassNode && containingClassNode.nodeType === 10 /* ParseNodeType.Class */) {
                 const classType = this._evaluator.getTypeOfClass(containingClassNode);
@@ -2128,8 +2142,12 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                     }
                 }
             }
-            // If this is a method within a protocol class, don't require that
-            // there is an implementation.
+            // If the declaration isn't associated with any of the overloads in the
+            // type, the overloads came from a decorator that captured the overload
+            // from somewhere else.
+            if (!overloads.find((overload) => overload.shared.declaration === primaryDecl)) {
+                return;
+            }
             this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportNoOverloadImplementation, localize_1.LocMessage.overloadWithoutImplementation().format({
                 name: primaryDecl.node.d.name.d.value,
             }), primaryDecl.node.d.name);