added test

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

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