[fix] Skip keyed and direct property assigns in AddVarArrayDocblockFromDimFetchAssignRector

rules-tests/TypeDeclarationDocblocks/Rector/Class_/AddVarArrayDocblockFromDimFetchAssignRector/Fixture/skip_keyed_assign.php.inc

@@ -0,0 +1,18 @@
+<?php
+
+namespace Rector\Tests\TypeDeclarationDocblocks\Rector\Class_\AddVarArrayDocblockFromDimFetchAssignRector\Fixture;
+
+final class SkipKeyedAssign
+{
+    private array $response = [];
+
+    public function run(): void
+    {
+        $this->response[] = [
+            'name' => 'John',
+        ];
+
+        $this->response['error'] = 'some error';
+        $this->response['done']  = true;
+    }
+}

rules/TypeDeclarationDocblocks/NodeFinder/ArrayDimFetchFinder.php

@@ -90,6 +90,36 @@ public function findDimFetchAssignToPropertyName(Class_ $class, string $variable
         return $exprs;
     }
 
+    /**
+     * Any write to the property other than a bare append $this->someProperty[] = ...,
+     * i.e. a keyed dim assign $this->someProperty['key'] = ... or a direct $this->someProperty = ...
+     */
+    public function hasNonAppendAssignToPropertyName(Class_ $class, string $variableName): bool
+    {
+        $assigns = $this->betterNodeFinder->findInstancesOfScoped($class->getMethods(), Assign::class);
+
+        foreach ($assigns as $assign) {
+            if ($assign->var instanceof PropertyFetch && $this->isThisPropertyNamed($assign->var, $variableName)) {
+                return true;
+            }
+
+            if (! $assign->var instanceof ArrayDimFetch) {
+                continue;
+            }
+
+            // bare append, already covered by findDimFetchAssignToPropertyName()
+            if (! $assign->var->dim instanceof Expr) {
+                continue;
+            }
+
+            if ($assign->var->var instanceof PropertyFetch && $this->isThisPropertyNamed($assign->var->var, $variableName)) {
+                return true;
+            }
+        }
+
+        return false;
+    }
+
     /**
      * @return ArrayDimFetch[]
      */
@@ -106,6 +136,15 @@ public function findByVariableName(Node $node, string $variableName): array
         });
     }
 
+    private function isThisPropertyNamed(PropertyFetch $propertyFetch, string $propertyName): bool
+    {
+        if (! $this->nodeNameResolver->isName($propertyFetch->var, 'this')) {
+            return false;
+        }
+
+        return $this->nodeNameResolver->isName($propertyFetch->name, $propertyName);
+    }
+
     /**
      * @return ArrayDimFetch[]
      */

rules/TypeDeclarationDocblocks/Rector/Class_/AddVarArrayDocblockFromDimFetchAssignRector.php

@@ -101,6 +101,11 @@ public function refactor(Node $node): ?Node
 
             $propertyName = $this->getName($property);
 
+            // a keyed dim assign ($this->prop['x'] = ...) or a direct assign carries a value type this rule does not read from bare appends; skip to avoid a too-narrow @var
+            if ($this->arrayDimFetchFinder->hasNonAppendAssignToPropertyName($node, $propertyName)) {
+                continue;
+            }
+
             $assignedExprs = $this->arrayDimFetchFinder->findDimFetchAssignToPropertyName($node, $propertyName);
 
             $assignedExprTypes = [];