more tests

Author: staabm

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

@@ -46,4 +46,24 @@ public function sayNonFalsy(string $s, string $nonFalsy): void
 }
 }
 
+/**
+ * @param non-empty-array $nonEmptyArr
+ */
+public function sayCount(array $arr, array $nonEmptyArr): void
+{
+if (count($arr) === count($nonEmptyArr)) {
+assertType('non-empty-array', $arr);
+assertType('non-empty-array', $nonEmptyArr);
+}
+assertType('array', $arr);
+assertType('non-empty-array', $nonEmptyArr);
+
+if (count($nonEmptyArr) === count($arr)) {
+assertType('non-empty-array', $arr);
+assertType('non-empty-array', $nonEmptyArr);
+}
+assertType('array', $arr);
+assertType('non-empty-array', $nonEmptyArr);
+}
+
 }