Update bug-13747.php

Author: staabm

tests/PHPStan/Analyser/nsrt/bug-13747.php

@@ -7,7 +7,7 @@
 class HelloWorld
 {
 	/** @param list<int> $list */
-	public function sayHello($list): void
+	public function count($list): void
 	{
 		if (count($list) === 0) {
 			return;
@@ -19,6 +19,22 @@ public function sayHello($list): void
 		} else {
 			assertType('non-empty-list<int>', $list);
 		}
+		assertType('non-empty-list<int>', $list);
+
+		if (count($list, COUNT_NORMAL) > 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);
+		}
+
+		assertType('non-empty-list<int>', $list);
+		if (count($list, COUNT_RECURSIVE) > 2) {
+			assertType('non-empty-list<int>', $list);
+			assertType('int<1, max>', count($list));
+		} else {
+			assertType('non-empty-list<int>', $list);
+		}
 	}
 
 	/** @param list<int> $list */