Add PhpVersion::updatesAutoIncrementKeyForNegativeValues() method

Replace inline version check with a dedicated PhpVersion method
for the PHP 8.3+ negative array auto-index behavior.

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

Author: phpstan-bot

src/Php/PhpVersion.php

@@ -511,4 +511,9 @@ public function throwsOnStringCast(): bool
 		return $this->versionId >= 70400;
 	}
 
+	public function updatesAutoIncrementKeyForNegativeValues(): bool
+	{
+		return $this->versionId >= 80300;
+	}
+
 }

src/Type/Constant/ConstantArrayTypeBuilder.php

@@ -212,7 +212,7 @@ public function setOffsetValueType(?Type $offsetType, Type $valueType, bool $opt
 
 					if (
 						$offsetValue >= $max
-						|| ($offsetValue < 0 && $max === 0 && PhpVersionStaticAccessor::getInstance()->getVersionId() >= 80300)
+						|| ($offsetValue < 0 && $max === 0 && PhpVersionStaticAccessor::getInstance()->updatesAutoIncrementKeyForNegativeValues())
 					) {
 						/** @var int|float $newAutoIndex */
 						$newAutoIndex = $offsetValue + 1;