Revert "Update bug-12163.php"

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

Original file line number	Diff line number	Diff line change
`@@ -80,11 +80,10 @@ 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`		`- $index = rand(3, 4);`
	`83`	`+ /** @var int<3, 4> $index */`
`84`	`84`	`} else {`
`85`	`85`	`$index = $index + 5;`
`86`	`86`	`}`
`87`	`87`	`}`
`88`		`- assertType('int<3, 12>', $index);`
`89`	`88`	`}`
`90`	`89`	`}`