Fix phpstan/phpstan#14305: Internal error crash report (#5231)

Co-authored-by: Vincent Langlet <vincentlanglet@hotmail.fr>

Author: phpstan-bot

.github/workflows/e2e-tests.yml

@@ -380,6 +380,9 @@ jobs:
           - script: |
               cd e2e/bug-11819
               ../../bin/phpstan
+          - script: |
+              cd e2e/bug-14305
+              ../../bin/phpstan
           - script: |
               cd e2e/composer-and-phpstan-version-config
               composer install --ignore-platform-reqs

e2e/bug-14305/phpstan.neon

@@ -0,0 +1,4 @@
+parameters:
+	level: 5
+	paths:
+		- test.php

e2e/bug-14305/test.php

@@ -0,0 +1,15 @@
+<?php
+
+namespace Bug14305;
+
+define('BUG14305_XDOC_GMETA_EMTY', 0);
+define('BUG14305_XDOC_GMETA_NUPATH', 7);
+define('BUG14305_XDOC_GMETAS', [
+	'empty'         => 0,
+	'nupath'        => 7,
+]);
+
+$row = ['id' => 0];
+
+foreach ([BUG14305_XDOC_GMETA_EMTY, BUG14305_XDOC_GMETA_NUPATH] as $meta)
+	$row[array_search($meta, BUG14305_XDOC_GMETAS)] = '';

phpstan-baseline.neon

@@ -966,7 +966,7 @@ parameters:
 		-
 			rawMessage: PHPDoc tag @var with type float|int is not subtype of native type int.
 			identifier: varTag.nativeType
-			count: 2
+			count: 3
 			path: src/Type/Constant/ConstantArrayTypeBuilder.php
 
 		-

src/Type/Constant/ConstantArrayTypeBuilder.php

@@ -291,6 +291,23 @@ public function setOffsetValueType(?Type $offsetType, Type $valueType, bool $opt
 						$this->keyTypes[] = $scalarType;
 						$this->valueTypes[] = $valueType;
 						$this->optionalKeys[] = count($this->keyTypes) - 1;
+
+						if (!($scalarType instanceof ConstantIntegerType)) {
+							continue;
+						}
+
+						$max = max($this->nextAutoIndexes);
+						$offsetValue = $scalarType->getValue();
+						if ($offsetValue < $max) {
+							continue;
+						}
+
+						/** @var int|float $newAutoIndex */
+						$newAutoIndex = $offsetValue + 1;
+						if (is_float($newAutoIndex)) {
+							$newAutoIndex = $max;
+						}
+						$this->nextAutoIndexes[] = $newAutoIndex;
 					}
 
 					$this->isList = TrinaryLogic::createNo();