[TypeDeclarationDocblocks] Skip contradicting @param array when local call type conflicts with default value

rules-tests/TypeDeclarationDocblocks/Rector/Class_/ClassMethodArrayDocblockParamFromLocalCallsRector/Fixture/default_array_with_known_type.php.inc

@@ -0,0 +1,38 @@
+<?php
+
+namespace Rector\Tests\TypeDeclarationDocblocks\Rector\Class_\ClassMethodArrayDocblockParamFromLocalCallsRector\Fixture;
+
+final class DefaultArrayWithKnownType
+{
+    public function go()
+    {
+        $this->run(['item1', 'item2']);
+    }
+
+    private function run(array $items = [])
+    {
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\TypeDeclarationDocblocks\Rector\Class_\ClassMethodArrayDocblockParamFromLocalCallsRector\Fixture;
+
+final class DefaultArrayWithKnownType
+{
+    public function go()
+    {
+        $this->run(['item1', 'item2']);
+    }
+
+    /**
+     * @param string[] $items
+     */
+    private function run(array $items = [])
+    {
+    }
+}
+
+?>

rules-tests/TypeDeclarationDocblocks/Rector/Class_/ClassMethodArrayDocblockParamFromLocalCallsRector/Fixture/skip_non_empty_array_contradicting_default.php.inc

@@ -0,0 +1,21 @@
+<?php
+
+namespace Rector\Tests\TypeDeclarationDocblocks\Rector\Class_\ClassMethodArrayDocblockParamFromLocalCallsRector\Fixture;
+
+final class SkipNonEmptyArrayContradictingDefault
+{
+    public function callee(array $row = [])
+    {
+        return $row;
+    }
+
+    public function caller(array $row)
+    {
+        return $row['state'] && $this->callee($row);
+    }
+
+    public function caller2()
+    {
+        return $this->callee(['state' => 5, 'name' => 'x']);
+    }
+}

rules/TypeDeclarationDocblocks/NodeDocblockTypeDecorator.php

@@ -149,6 +149,7 @@ private function isArrayMixed(Type $type): bool
             return false;
         }
 
-        return $type->getKeyType() instanceof IntegerType;
+        // both plain "mixed[]" (integer key) and a fully mixed-keyed array carry no useful value
+        return $type->getKeyType() instanceof IntegerType || $type->getKeyType() instanceof MixedType;
     }
 }

rules/TypeDeclarationDocblocks/Rector/Class_/ClassMethodArrayDocblockParamFromLocalCallsRector.php

@@ -5,6 +5,7 @@
 namespace Rector\TypeDeclarationDocblocks\Rector\Class_;
 
 use PhpParser\Node;
+use PhpParser\Node\Expr;
 use PhpParser\Node\Param;
 use PhpParser\Node\Stmt\Class_;
 use PHPStan\PhpDocParser\Ast\PhpDoc\ParamTagValueNode;
@@ -130,6 +131,14 @@ public function refactor(Node $node): ?Node
                 // in case of array type declaration, null cannot be passed or is already casted
                 $resolvedParameterType = TypeCombinator::removeNull($resolvedParameterType);
 
+                // the param default value must always be accepted; a locally inferred, flow-narrowed type such as
+                // "non-empty-array" would otherwise contradict an "= []" default - unite with the default type so
+                // the resulting @param never conflicts with the method signature
+                if ($param->default instanceof Expr) {
+                    $defaultType = $this->nodeTypeResolver->getType($param->default);
+                    $resolvedParameterType = TypeCombinator::union($resolvedParameterType, $defaultType);
+                }
+
                 $hasClassMethodChanged = $this->nodeDocblockTypeDecorator->decorateGenericIterableParamType(
                     $resolvedParameterType,
                     $classMethodPhpDocInfo,