@zzzen/pyright-internal 1.2.0-dev.20260621 → 1.2.0-dev.20260705

package/dist/analyzer/checker.js

@@ -228,6 +228,13 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             let sawParamSpecArgs = false;
             const keywordNames = new Set();
             const paramDetails = (0, parameterUtils_1.getParamListDetails)(functionTypeResult.functionType);
+            // If this function is the implementation of an overloaded function,
+            // its signature is ignored by the type checker (only the @overload
+            // signatures define the function's type). Per the typing spec, the
+            // implementation's parameters are allowed to remain unannotated, so
+            // skip the unknown/missing parameter type checks for it.
+            const isOverloadImplementation = (0, types_1.isOverloaded)(functionTypeResult.decoratedType) &&
+                !types_1.FunctionType.isOverloaded(functionTypeResult.functionType);
             // Report any unknown or missing parameter types.
             node.d.params.forEach((param, index) => {
                 if (param.d.name) {
@@ -259,7 +266,8 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                     if (paramIndex >= 0) {
                         const functionTypeParam = functionTypeResult.functionType.shared.parameters[paramIndex];
                         const paramType = types_1.FunctionType.getParamType(functionTypeResult.functionType, paramIndex);
-                        if (this._fileInfo.diagnosticRuleSet.reportUnknownParameterType !== 'none') {
+                        if (!isOverloadImplementation &&
+                            this._fileInfo.diagnosticRuleSet.reportUnknownParameterType !== 'none') {
                             if ((0, types_1.isUnknown)(paramType) ||
                                 ((0, types_1.isTypeVar)(paramType) &&
                                     paramType.shared.isSynthesized &&
@@ -286,7 +294,9 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                                 hasAnnotation = true;
                             }
                         }
-                        if (!hasAnnotation && this._fileInfo.diagnosticRuleSet.reportMissingParameterType !== 'none') {
+                        if (!isOverloadImplementation &&
+                            !hasAnnotation &&
+                            this._fileInfo.diagnosticRuleSet.reportMissingParameterType !== 'none') {
                             this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportMissingParameterType, localize_1.LocMessage.paramAnnotationMissing().format({ name: param.d.name.d.value }), param.d.name);
                         }
                     }