add tests

Author: staabm

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

@@ -56,6 +56,13 @@ public function doFoo($list): void
 		} else {
 			assertType('non-empty-list<int>', $list);
 		}
+
+		if (count($list) < 5) {
+			assertType('non-empty-list<int>', $list);
+			assertType('int<1, 4>', count($list));
+		} else {
+			assertType('non-empty-list<int>&hasOffsetValue(1, int)&hasOffsetValue(2, int)&hasOffsetValue(3, int)&hasOffsetValue(4, int)', $list);
+		}
 	}
 
 	/** @param list<int> $list */
@@ -74,6 +81,25 @@ public function doBar($list): void
 		}
 	}
 
+	/** @param non-empty-array<int> $nonEmptyArray */
+	public function doNonEmptyArray($nonEmptyArray): void
+	{
+		if (2 <= count($nonEmptyArray)) {
+			assertType('non-empty-array<int>', $nonEmptyArray);
+			assertType('int<2, max>', count($nonEmptyArray));
+		} else {
+			assertType('non-empty-array<int>', $nonEmptyArray);
+			assertType('1', count($nonEmptyArray));
+		}
+
+		if (count($nonEmptyArray) < 5) {
+			assertType('non-empty-array<int>', $nonEmptyArray);
+			assertType('int<1, 4>', count($nonEmptyArray));
+		} else {
+			assertType('non-empty-array<int>', $nonEmptyArray);
+		}
+	}
+
 	/**
 	 * @param list<int> $listA
 	 * @param non-empty-list<string> $listB
@@ -158,6 +184,13 @@ public function checkLimit($list): void
 	/** @param array<int> $array */
 	public function countArray($array): void
 	{
+		if (count($array) < 5) {
+			assertType('array<int>', $array);
+			assertType('int<0, 4>', count($array));
+		} else {
+			assertType('non-empty-array<int>', $array);
+		}
+
 		if (count($array) === 0) {
 			return;
 		}