[TypeDeclarationDocblocks] Skip mixed[] from empty array on ClassMethodArrayDocblockParamFromLocalCallsRector (#7349)

* [TypeDeclarationDocblocks] Skip mixed[] from empty array on ClassMethodArrayDocblockParamFromLocalCallsRector

* Fix

* fix

Author: samsonasik

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

@@ -0,0 +1,16 @@
+<?php
+
+namespace Rector\Tests\TypeDeclarationDocblocks\Rector\Class_\ClassMethodArrayDocblockParamFromLocalCallsRector\Fixture;
+
+final class SkipMixedFromEmptyArray
+{
+    public function execute(array $data)
+    {
+        $data = [];
+        $this->run($data);
+    }
+
+    private function run(array $data)
+    {
+    }
+}

rules/TypeDeclaration/NodeAnalyzer/CallTypesResolver.php

@@ -13,7 +13,9 @@
 use PhpParser\Node\VariadicPlaceholder;
 use PHPStan\Reflection\ReflectionProvider;
 use PHPStan\Type\ArrayType;
+use PHPStan\Type\Constant\ConstantArrayType;
 use PHPStan\Type\MixedType;
+use PHPStan\Type\NeverType;
 use PHPStan\Type\ObjectType;
 use PHPStan\Type\ThisType;
 use PHPStan\Type\Type;
@@ -222,14 +224,14 @@ private function isEmptyArray(Expr $expr): bool
 
     private function isArrayMixedMixedType(Type $type): bool
     {
-        if (! $type instanceof ArrayType) {
+        if (! $type instanceof ArrayType && ! $type instanceof ConstantArrayType) {
             return false;
         }
 
-        if (! $type->getItemType() instanceof MixedType) {
+        if (! $type->getItemType() instanceof MixedType && ! $type->getItemType() instanceof NeverType) {
             return false;
         }
 
-        return $type->getKeyType() instanceof MixedType;
+        return $type->getKeyType() instanceof MixedType || $type->getKeyType() instanceof NeverType;
     }
 }