Prefer exact type over mixed[] in case of empty array in ClassMethodArrayDocblockParamFromLocalCallsRector

Author: TomasVotruba

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

@@ -0,0 +1,80 @@
+<?php
+
+namespace Rector\Tests\TypeDeclarationDocblocks\Rector\Class_\ClassMethodArrayDocblockParamFromLocalCallsRector\Fixture;
+
+use Rector\Tests\TypeDeclarationDocblocks\Rector\Class_\ClassMethodArrayDocblockParamFromLocalCallsRector\Source\SomeReturnedObject;
+
+final class ObjectsOverruleEmptyArray
+{
+    public function go(array $emptyArray)
+    {
+        $this->run($this->getItemsWithArray());
+        $this->run($this->getItems());
+
+        $this->run($emptyArray);
+    }
+
+    public function run(array $result)
+    {
+    }
+
+    /**
+     * @return SomeReturnedObject[]|array
+     */
+    private function getItems()
+    {
+        return [];
+    }
+
+    /**
+     * @return SomeReturnedObject[]
+     */
+    private function getItemsWithArray()
+    {
+        return [];
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\TypeDeclarationDocblocks\Rector\Class_\ClassMethodArrayDocblockParamFromLocalCallsRector\Fixture;
+
+use Rector\Tests\TypeDeclarationDocblocks\Rector\Class_\ClassMethodArrayDocblockParamFromLocalCallsRector\Source\SomeReturnedObject;
+
+final class ObjectsOverruleEmptyArray
+{
+    public function go(array $emptyArray)
+    {
+        $this->run($this->getItemsWithArray());
+        $this->run($this->getItems());
+
+        $this->run($emptyArray);
+    }
+
+    /**
+     * @param \Rector\Tests\TypeDeclarationDocblocks\Rector\Class_\ClassMethodArrayDocblockParamFromLocalCallsRector\Source\SomeReturnedObject[] $result
+     */
+    public function run(array $result)
+    {
+    }
+
+    /**
+     * @return SomeReturnedObject[]|array
+     */
+    private function getItems()
+    {
+        return [];
+    }
+
+    /**
+     * @return SomeReturnedObject[]
+     */
+    private function getItemsWithArray()
+    {
+        return [];
+    }
+}
+
+?>

rules-tests/TypeDeclarationDocblocks/Rector/Class_/ClassMethodArrayDocblockParamFromLocalCallsRector/Source/SomeReturnedObject.php

@@ -0,0 +1,7 @@
+<?php
+
+namespace Rector\Tests\TypeDeclarationDocblocks\Rector\Class_\ClassMethodArrayDocblockParamFromLocalCallsRector\Source;
+
+final class SomeReturnedObject
+{
+}

rules/TypeDeclaration/NodeAnalyzer/CallTypesResolver.php

@@ -116,6 +116,7 @@ private function correctSelfType(Type $argValueType): Type
     private function unionToSingleType(array $staticTypesByArgumentPosition): array
     {
         $staticTypeByArgumentPosition = [];
+
         foreach ($staticTypesByArgumentPosition as $position => $staticTypes) {
             $unionedType = $this->typeFactory->createMixedPassedOrUnionType($staticTypes);
 

src/NodeTypeResolver/NodeTypeCorrector/AccessoryNonEmptyArrayTypeCorrector.php

@@ -30,7 +30,9 @@ public function correct(Type $mainType): Type
 
             if ($type instanceof ArrayType
                 && $type->getIterableValueType() instanceof IntersectionType
-                && $type->getIterableValueType()->isString()->yes()) {
+                && $type->getIterableValueType()
+                    ->isString()
+                    ->yes()) {
                 return new ArrayType(new MixedType(), new StringType());
             }
         }

src/NodeTypeResolver/PHPStan/Type/TypeFactory.php

@@ -47,7 +47,10 @@ public function createMixedPassedOrUnionType(array $types, bool $keepConstantTyp
         $types = $this->unwrapUnionedTypes($types);
         $types = $this->uniquateTypes($types, $keepConstantTypes);
 
-        return $this->createUnionOrSingleType($types);
+        // remove dummy array mixed[], as no value
+        $typesWithoutMixed = array_filter($types, fn (Type $type): bool => ! $this->isArrayMixedMixedType($type));
+
+        return $this->createUnionOrSingleType($typesWithoutMixed);
     }
 
     /**
@@ -220,4 +223,17 @@ private function unwrapConstantArrayTypes(ConstantArrayType $constantArrayType):
 
         return $unwrappedTypes;
     }
+
+    private function isArrayMixedMixedType(Type $type): bool
+    {
+        if (! $type instanceof ArrayType) {
+            return false;
+        }
+
+        if (! $type->getItemType() instanceof MixedType) {
+            return false;
+        }
+
+        return $type->getKeyType() instanceof MixedType;
+    }
 }

src/PostRector/Collector/UseNodesToAddCollector.php

@@ -83,10 +83,8 @@ public function getUseImportTypesByNode(File $file): array
         return $objectTypes;
     }
 
-    public function hasImport(
-        File $file,
-        FullyQualifiedObjectType $fullyQualifiedObjectType
-    ): bool {
+    public function hasImport(File $file, FullyQualifiedObjectType $fullyQualifiedObjectType): bool
+    {
         $useImports = $this->getUseImportTypesByNode($file);
 
         foreach ($useImports as $useImport) {