Fix crash when redefining method with fewer params (fixes #8141).

vimeo · Jun 26, 2022 · e751a27 · e751a27
1 parent 9b4c8cb
commit e751a27
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 9 deletions.
diff --git a/src/Psalm/Internal/Analyzer/FunctionLikeAnalyzer.php b/src/Psalm/Internal/Analyzer/FunctionLikeAnalyzer.php
@@ -1267,15 +1267,17 @@ private function processParams(
                 $context->hasVariable('$' . $function_param->name);
             }
 
-            AttributesAnalyzer::analyze(
-                $this,
-                $context,
-                $function_param,
-                $param_stmts[$offset]->attrGroups,
-                AttributesAnalyzer::TARGET_PARAMETER
-                    | ($function_param->promoted_property ? AttributesAnalyzer::TARGET_PROPERTY : 0),
-                $storage->suppressed_issues + $this->getSuppressedIssues()
-            );
+            if (count($param_stmts) === count($params)) {
+                AttributesAnalyzer::analyze(
+                    $this,
+                    $context,
+                    $function_param,
+                    $param_stmts[$offset]->attrGroups,
+                    AttributesAnalyzer::TARGET_PARAMETER
+                        | ($function_param->promoted_property ? AttributesAnalyzer::TARGET_PROPERTY : 0),
+                    $storage->suppressed_issues + $this->getSuppressedIssues()
+                );
+            }
         }
 
         return $check_stmts;

diff --git a/tests/AttributeTest.php b/tests/AttributeTest.php
@@ -391,6 +391,16 @@ class Foo {}
                     class Bar {}
                 ',
             ],
+            'dontCrashWhenRedefiningStubbedMethodWithFewerParams' => [
+                '<?php
+                    if (!class_exists(ArrayObject::class)) {
+                        class ArrayObject
+                        {
+                            public function __construct() {}
+                        }
+                    }
+                '
+            ],
         ];
     }