[TypeDeclarationDocblock] clean up recursive mixed check, only in first union to avoid deep mixed removed (#7341)

Author: samsonasik

rules/TypeDeclaration/NodeAnalyzer/CallTypesResolver.php

@@ -134,10 +134,16 @@ private function unionToSingleType(array $staticTypesByArgumentPosition, bool $r
 
             if ($staticTypeByArgumentPosition[$position] instanceof UnionType) {
                 foreach ($staticTypeByArgumentPosition[$position]->getTypes() as $subType) {
+                    // has another type over mixed is not allowed, even on native type
                     if ($subType instanceof MixedType) {
                         $staticTypeByArgumentPosition[$position] = new MixedType();
                         continue 2;
                     }
+
+                    if ($removeMixedArray && $subType instanceof ArrayType && $this->isArrayMixedMixedType($subType)) {
+                        $staticTypeByArgumentPosition[$position] = new MixedType();
+                        continue 2;
+                    }
                 }
             }
         }
@@ -228,14 +234,6 @@ private function isEmptyArray(Expr $expr): bool
     private function isArrayMixedMixedType(Type $type): bool
     {
         if (! $type instanceof ArrayType) {
-            if ($type instanceof UnionType) {
-                foreach ($type->getTypes() as $subType) {
-                    if ($subType instanceof ArrayType && $this->isArrayMixedMixedType($subType)) {
-                        return true;
-                    }
-                }
-            }
-
             return false;
         }