[TypeDeclarationDocblocks] Use int key on inner array over mixed key on DocblockVarArrayFromPropertyDefaultsRector (#7374)

* [TypeDeclarationDocblocks] Use int key on inner array over mixed key on DocblockVarArrayFromPropertyDefaultsRector

* Fix

* use increment

Author: samsonasik

rules-tests/TypeDeclarationDocblocks/Rector/Class_/DocblockVarArrayFromPropertyDefaultsRector/Fixture/int_key_inside.php.inc

@@ -0,0 +1,38 @@
+<?php
+
+namespace Rector\Tests\TypeDeclarationDocblocks\Rector\Class_\DocblockVarArrayFromPropertyDefaultsRector\Fixture;
+
+final class IntKeyInside
+{
+    private array $array = [
+        'a' => [
+            'b' => [
+                ['c' => 'e', 'f' => 1],
+                ['d' => 2],
+            ],
+        ],
+    ];
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\TypeDeclarationDocblocks\Rector\Class_\DocblockVarArrayFromPropertyDefaultsRector\Fixture;
+
+final class IntKeyInside
+{
+    /**
+     * @var array<string, array<string, array<int, array<string, string|int>>>>
+     */
+    private array $array = [
+        'a' => [
+            'b' => [
+                ['c' => 'e', 'f' => 1],
+                ['d' => 2],
+            ],
+        ],
+    ];
+}
+
+?>

rules/Privatization/TypeManipulator/TypeNormalizer.php

@@ -57,7 +57,9 @@ public function generalizeConstantBoolTypes(Type $type): Type
      */
     public function generalizeConstantTypes(Type $type): Type
     {
-        return TypeTraverser::map($type, function (Type $type, callable $traverseCallback): Type {
+        $deep = 0;
+        return TypeTraverser::map($type, function (Type $type, callable $traverseCallback) use (&$deep): Type {
+            ++$deep;
             if ($type instanceof AccessoryNonFalsyStringType || $type instanceof AccessoryLiteralStringType || $type instanceof AccessoryNonEmptyStringType) {
                 return new StringType();
             }
@@ -81,7 +83,7 @@ public function generalizeConstantTypes(Type $type): Type
             if ($type instanceof ConstantArrayType) {
                 // is relevant int constantArrayType?
                 if ($this->isImplicitNumberedListKeyType($type)) {
-                    $keyType = new MixedType();
+                    $keyType = $deep === 1 ? new MixedType() : new IntegerType();
                 } else {
                     $keyType = $this->generalizeConstantTypes($type->getKeyType());
                 }