Update bug-13747.php

staabm · staabm · commit a34755e754d4 · 2025-11-02T11:43:46.000+01:00
diff --git a/tests/PHPStan/Analyser/nsrt/bug-13747.php b/tests/PHPStan/Analyser/nsrt/bug-13747.php
@@ -13,7 +13,7 @@ public function sayHello($list): void
 		}
 
 		if (count($list) > 2) {
-			assertType('non-empty-list<int>&hasOffsetValue(0, int)&hasOffsetValue(1, int)&hasOffsetValue(2, int)', $list);
+			assertType('non-empty-list<int>&hasOffsetValue(1, int)&hasOffsetValue(2, int)', $list);
 		} else {
 			assertType('non-empty-list<int>', $list);
 		}

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ public function sayHello($list): void`
`13`	`13`	`}`
`14`	`14`
`15`	`15`	`if (count($list) > 2) {`
`16`		`- assertType('non-empty-list<int>&hasOffsetValue(0, int)&hasOffsetValue(1, int)&hasOffsetValue(2, int)', $list);`
	`16`	`+ assertType('non-empty-list<int>&hasOffsetValue(1, int)&hasOffsetValue(2, int)', $list);`
`17`	`17`	`} else {`
`18`	`18`	`assertType('non-empty-list<int>', $list);`
`19`	`19`	`}`