Fix

Author: samsonasik

rules/Privatization/TypeManipulator/TypeNormalizer.php

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