Update bug-12163.php

staabm · staabm · commit e75772d9139a · 2026-03-11T17:55:21.000+01:00
diff --git a/tests/PHPStan/Analyser/nsrt/bug-12163.php b/tests/PHPStan/Analyser/nsrt/bug-12163.php
@@ -80,10 +80,11 @@ public function integerRangeGrowsBothDirections(int $size, int $index): void
 		for ($i = 0; $i < $size; $i++) {
 			assertType('int<3, 12>', $index);
 			if ($index > 7) {
-				/** @var int<3, 4> $index */
+				$index = rand(3, 4);
 			} else {
 				$index = $index + 5;
 			}
 		}
+		assertType('int<3, 12>', $index);
 	}
 }

Original file line number	Diff line number	Diff line change
`@@ -80,10 +80,11 @@ public function integerRangeGrowsBothDirections(int $size, int $index): void`
`80`	`80`	`for ($i = 0; $i < $size; $i++) {`
`81`	`81`	`assertType('int<3, 12>', $index);`
`82`	`82`	`if ($index > 7) {`
`83`		`- /** @var int<3, 4> $index */`
	`83`	`+ $index = rand(3, 4);`
`84`	`84`	`} else {`
`85`	`85`	`$index = $index + 5;`
`86`	`86`	`}`
`87`	`87`	`}`
	`88`	`+ assertType('int<3, 12>', $index);`
`88`	`89`	`}`
`89`	`90`	`}`