Fix adding string[] in explode() for ClassMethodArrayDocblockParamFromLocalCallsRector (#7331)

* add fixture

* fix adding string[] in explode() for ClassMethodArrayDocblockParamFromLocalCallsRector

Author: TomasVotruba

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

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

src/NodeTypeResolver/NodeTypeResolver.php

@@ -34,11 +34,13 @@
 use PHPStan\Type\Constant\ConstantBooleanType;
 use PHPStan\Type\Constant\ConstantStringType;
 use PHPStan\Type\ErrorType;
+use PHPStan\Type\IntegerType;
 use PHPStan\Type\MixedType;
 use PHPStan\Type\NeverType;
 use PHPStan\Type\NullType;
 use PHPStan\Type\ObjectType;
 use PHPStan\Type\ObjectWithoutClassType;
+use PHPStan\Type\StringType;
 use PHPStan\Type\ThisType;
 use PHPStan\Type\Type;
 use PHPStan\Type\TypeCombinator;
@@ -178,6 +180,11 @@ public function getType(Node $node): Type
             }
         }
 
+        // correction for explode() that always returns array
+        if ($node instanceof FuncCall && $node->name instanceof Name && $node->name->toString() === 'explode') {
+            return new ArrayType(new IntegerType(), new StringType());
+        }
+
         if ($node instanceof Ternary) {
             $ternaryType = $this->resolveTernaryType($node);
             if (! $ternaryType instanceof MixedType) {