Update bug-13747.php

staabm · staabm · commit 814ec1c10f6f · 2025-11-01T20:37:18.000+01:00
diff --git a/tests/PHPStan/Analyser/nsrt/bug-13747.php b/tests/PHPStan/Analyser/nsrt/bug-13747.php
@@ -15,6 +15,7 @@ public function sayHello($list): void
 
 		if (count($list) > 2) {
 			assertType('non-empty-list<int>&hasOffsetValue(1, int)&hasOffsetValue(2, int)', $list);
+			assertType('int<3, max>', count($list));
 		} else {
 			assertType('non-empty-list<int>', $list);
 		}

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