more asserts

staabm · staabm · commit d57d50b0095e · 2026-03-21T16:21:30.000+01:00
diff --git a/tests/PHPStan/Analyser/nsrt/bug-10089.php b/tests/PHPStan/Analyser/nsrt/bug-10089.php
@@ -11,8 +11,10 @@ class Test
 	protected function create_matrix(int $size): array
 	{
 		$size = min(8, $size);
+		assertType('int<min, 8>', $size);
 		$matrix = [];
 		for ($i = 0; $i < $size; $i++) {
+			assertType('int<0, 7>', $i);
 			$matrix[] = array_fill(0, $size, 0);
 		}
 

Original file line number	Diff line number	Diff line change
`@@ -11,8 +11,10 @@ class Test`
`11`	`11`	`protected function create_matrix(int $size): array`
`12`	`12`	`{`
`13`	`13`	`$size = min(8, $size);`
	`14`	`+ assertType('int<min, 8>', $size);`
`14`	`15`	`$matrix = [];`
`15`	`16`	`for ($i = 0; $i < $size; $i++) {`
	`17`	`+ assertType('int<0, 7>', $i);`
`16`	`18`	`$matrix[] = array_fill(0, $size, 0);`
`17`	`19`	`}`
`18`	`20`