add assert

staabm · staabm · commit e3a10193ca9e · 2025-10-16T13:26:14.000+02:00
diff --git a/tests/PHPStan/Analyser/nsrt/bug-13674.php b/tests/PHPStan/Analyser/nsrt/bug-13674.php
@@ -28,6 +28,7 @@ public function sayHello($arrayA, $listA, int $i): void
 		assertType('list<int>', $listA);
 
 		if (!isset($listA[$i])) {
+			assertType('list<int>', $listA);
 			return;
 		}
 		assertType('non-empty-list<int>', $listA);

Original file line number	Diff line number	Diff line change
`@@ -28,6 +28,7 @@ public function sayHello($arrayA, $listA, int $i): void`
`28`	`28`	`assertType('list<int>', $listA);`
`29`	`29`
`30`	`30`	`if (!isset($listA[$i])) {`
	`31`	`+ assertType('list<int>', $listA);`
`31`	`32`	`return;`
`32`	`33`	`}`
`33`	`34`	`assertType('non-empty-list<int>', $listA);`