phpstan
diff --git a/‎tests/PHPStan/Analyser/nsrt/count-recursive.php‎
Lines changed: 11 additions & 0 deletions b/‎tests/PHPStan/Analyser/nsrt/count-recursive.php‎
Lines changed: 11 additions & 0 deletions
@@ -36,6 +36,17 @@ public function countArrayRecursive(array $arr): void
 }
 }
 
+public function countArrayUnionMode(array $arr): void
+{
+$mode = rand(0,1) ? COUNT_NORMAL : COUNT_RECURSIVE;
+if (count($arr, $mode) > 2) {
+assertType('non-empty-array', $arr);
+assertType('int<3, max>', count($arr, $mode));
+assertType('int<1, max>', count($arr, COUNT_NORMAL));
+assertType('int<1, max>', count($arr, COUNT_RECURSIVE));
+}
+}
+
 /** @param list<int> $list */
 public function countList($list): void
 {
Original file line number	Diff line number	Diff line change
`@@ -36,6 +36,17 @@ public function countArrayRecursive(array $arr): void`
`36`	`36`	`}`
`37`	`37`	`}`
`38`	`38`
	`39`	`+public function countArrayUnionMode(array $arr): void`
	`40`	`+{`
	`41`	`+$mode = rand(0,1) ? COUNT_NORMAL : COUNT_RECURSIVE;`
	`42`	`+if (count($arr, $mode) > 2) {`
	`43`	`+assertType('non-empty-array', $arr);`
	`44`	`+assertType('int<3, max>', count($arr, $mode));`
	`45`	`+assertType('int<1, max>', count($arr, COUNT_NORMAL));`
	`46`	`+assertType('int<1, max>', count($arr, COUNT_RECURSIVE));`
	`47`	`+}`
	`48`	`+}`
	`49`	`+`
`39`	`50`	`/** @param list<int> $list */`
`40`	`51`	`public function countList($list): void`
`41`	`52`	`{`