test different count() variants

Author: staabm

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

@@ -23,15 +23,15 @@ public function count($list): void
 
 		if (count($list, COUNT_NORMAL) > 2) {
 			assertType('non-empty-list<int>&hasOffsetValue(1, int)&hasOffsetValue(2, int)', $list);
-			assertType('int<3, max>', count($list));
+			assertType('int<3, max>', count($list, COUNT_NORMAL));
 		} 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));
+		if (count($list, COUNT_RECURSIVE) > 2) { // COUNT_RECURSIVE on non-recursive array
+			assertType('non-empty-list<int>&hasOffsetValue(1, int)&hasOffsetValue(2, int)', $list);
+			assertType('int<3, max>', count($list, COUNT_RECURSIVE));
 		} else {
 			assertType('non-empty-list<int>', $list);
 		}