[TypeDeclaration] Skip with is_array() on AddParamFromDimFetchKeyUseRector

rules-tests/TypeDeclaration/Rector/ClassMethod/AddParamFromDimFetchKeyUseRector/Fixture/skip_with_is_array.php.inc

@@ -0,0 +1,22 @@
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\AddParamFromDimFetchKeyUseRector\Fixture;
+
+use Rector\Tests\TypeDeclaration\Rector\ClassMethod\AddParamFromDimFetchKeyUseRector\Source\SomeObjectValidation;
+
+class SkipWithIsArray
+{
+    /**
+     * @param SomeObjectValidation $object
+     * @param array<int, int|string>|string $key
+     */
+    public function __construct($object, $key)
+    {
+        if (\is_array($key) && (string) $object->{$key[1]} !== '') {
+        }
+
+        if (isset($object->validation_errors[$key])) {
+        }
+    }
+
+}

rules-tests/TypeDeclaration/Rector/ClassMethod/AddParamFromDimFetchKeyUseRector/Source/SomeObjectValidation.php

@@ -0,0 +1,14 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\AddParamFromDimFetchKeyUseRector\Source;
+
+class SomeObjectValidation {
+    /**
+     * Array of validation error text messages.
+     *
+     * @var array<string, string>
+     */
+    public $validation_errors = [];
+}

rules/TypeDeclaration/Rector/ClassMethod/AddParamFromDimFetchKeyUseRector.php

@@ -5,9 +5,11 @@
 namespace Rector\TypeDeclaration\Rector\ClassMethod;
 
 use PhpParser\Node;
+use PhpParser\Node\Expr\Variable;
 use PhpParser\Node\Stmt\Class_;
 use PHPStan\Type\ArrayType;
 use PHPStan\Type\Constant\ConstantArrayType;
+use PHPStan\Type\UnionType;
 use Rector\PHPStanStaticTypeMapper\Enum\TypeKind;
 use Rector\Rector\AbstractRector;
 use Rector\StaticTypeMapper\StaticTypeMapper;
@@ -113,6 +115,13 @@ public function refactor(Node $node): ?Node
                         continue;
                     }
 
+                    if ($dimFetch->dim instanceof Variable) {
+                        $type = $this->nodeTypeResolver->getType($dimFetch->dim);
+                        if ($type instanceof UnionType) {
+                            continue;
+                        }
+                    }
+
                     $paramTypeNode = $this->staticTypeMapper->mapPHPStanTypeToPhpParserNode(
                         $dimFetchType->getKeyType(),
                         TypeKind::PARAM