Move initializedEmpty into ConstantArrayType to avoid heuristic reconstruction

Instead of scanning keys and nextAutoIndexes in createFromConstantArray to
reconstruct whether an array was empty-initialized, store the initializedEmpty
flag directly in ConstantArrayType. This eliminates the elseif heuristic and
ensures the flag persists naturally through setOffsetValueType round-trips
via recreate().

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

src/Type/Constant/ConstantArrayType.php

@@ -107,6 +107,7 @@ public function __construct(
 		private array $nextAutoIndexes = [0],
 		private array $optionalKeys = [],
 		?TrinaryLogic $isList = null,
+		private bool $initializedEmpty = false,
 	)
 	{
 		assert(count($keyTypes) === count($valueTypes));
@@ -136,7 +137,7 @@ protected function recreate(
 		?TrinaryLogic $isList = null,
 	): self
 	{
-		return new self($keyTypes, $valueTypes, $nextAutoIndexes, $optionalKeys, $isList);
+		return new self($keyTypes, $valueTypes, $nextAutoIndexes, $optionalKeys, $isList, $this->initializedEmpty);
 	}
 
 	public function getConstantArrays(): array
@@ -212,6 +213,11 @@ public function getNextAutoIndexes(): array
 		return $this->nextAutoIndexes;
 	}
 
+	public function isInitializedEmpty(): bool
+	{
+		return $this->initializedEmpty;
+	}
+
 	/**
 	 * @return int[]
 	 */

src/Type/Constant/ConstantArrayTypeBuilder.php

@@ -75,22 +75,8 @@ public static function createFromConstantArray(ConstantArrayType $startArrayType
 			$startArrayType->isList(),
 		);
 
-		$phpVersion = PhpVersionStaticAccessor::getInstance();
-		if (
-			!$phpVersion->updatesAutoIncrementKeyForNegativeValues()
-			&& $phpVersion->updatesAutoIncrementKeyForNegativeValuesInNonEmptyInitializer()
-		) {
-			if (count($startArrayType->getKeyTypes()) === 0) {
-				$builder->initializedEmpty = true;
-			} elseif (max($startArrayType->getNextAutoIndexes()) === 0) {
-				foreach ($startArrayType->getKeyTypes() as $keyType) {
-					if ($keyType instanceof ConstantIntegerType && $keyType->getValue() < 0) {
-						$builder->initializedEmpty = true;
-						break;
-					}
-				}
-			}
-		}
+		$builder->initializedEmpty = $startArrayType->isInitializedEmpty()
+			|| count($startArrayType->getKeyTypes()) === 0;
 
 		if (count($startArrayType->getKeyTypes()) > self::ARRAY_COUNT_LIMIT) {
 			$builder->degradeToGeneralArray(true);
@@ -393,7 +379,7 @@ public function getArray(): Type
 		if (!$this->degradeToGeneralArray) {
 			/** @var list<ConstantIntegerType|ConstantStringType> $keyTypes */
 			$keyTypes = $this->keyTypes;
-			return new ConstantArrayType($keyTypes, $this->valueTypes, $this->nextAutoIndexes, $this->optionalKeys, $this->isList);
+			return new ConstantArrayType($keyTypes, $this->valueTypes, $this->nextAutoIndexes, $this->optionalKeys, $this->isList, $this->initializedEmpty);
 		}
 
 		if ($this->degradeClosures === true) {