use increment

Author: samsonasik

rules/Privatization/TypeManipulator/TypeNormalizer.php

@@ -57,8 +57,9 @@ public function generalizeConstantBoolTypes(Type $type): Type
      */
     public function generalizeConstantTypes(Type $type): Type
     {
-        $originalType = $type;
-        return TypeTraverser::map($type, function (Type $type, callable $traverseCallback) use ($originalType): 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();
             }
@@ -82,7 +83,7 @@ public function generalizeConstantTypes(Type $type): Type
             if ($type instanceof ConstantArrayType) {
                 // is relevant int constantArrayType?
                 if ($this->isImplicitNumberedListKeyType($type)) {
-                    $keyType = $originalType === $type ? new MixedType() : new IntegerType();
+                    $keyType = $deep === 1 ? new MixedType() : new IntegerType();
                 } else {
                     $keyType = $this->generalizeConstantTypes($type->getKeyType());
                 }