more tests

Author: staabm

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

@@ -20,4 +20,35 @@ public function sayHello($list): void
 			assertType('non-empty-list<int>', $list);
 		}
 	}
+
+	/** @param list<int> $list */
+	public function doFoo($list): void
+	{
+		if (count($list) === 0) {
+			return;
+		}
+
+		if (count($list) >= 2) {
+			assertType('non-empty-list<int>&hasOffsetValue(1, int)', $list);
+			assertType('int<2, max>', count($list));
+		} else {
+			assertType('non-empty-list<int>', $list);
+		}
+	}
+
+	/** @param list<int> $list */
+	public function doBar($list): void
+	{
+		if (count($list) === 0) {
+			return;
+		}
+
+		if (2 <= count($list)) {
+			assertType('non-empty-list<int>&hasOffsetValue(1, int)', $list);
+			assertType('int<2, max>', count($list));
+		} else {
+			assertType('non-empty-list<int>', $list);
+			assertType('1', count($list));
+		}
+	}
 }