Regression test

Author: staabm

tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php

@@ -1687,4 +1687,18 @@ public function testBug10974(): void
 		$this->analyse([__DIR__ . '/data/bug-10974.php'], []);
 	}
 
+	public function testCountArrayShift(): void
+	{
+		$this->analyse([__DIR__ . '/data/count-array-shift.php'], [
+			[
+				'Parameter #1 $value of function count expects array|Countable, array|false given.',
+				10,
+			],
+			[
+				'Parameter #1 $value of function count expects array|Countable, array|false given.',
+				18,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Functions/data/count-array-shift.php

@@ -0,0 +1,19 @@
+<?php
+
+namespace CountArrayShift;
+
+/** @param array<mixed>|false $a */
+function foo($a): void
+{
+	while (count($a) > 0) {
+		array_shift($a);
+	}
+}
+
+/** @param non-empty-array<mixed>|false $a */
+function bar($a): void
+{
+	while (count($a) > 0) {
+		array_shift($a);
+	}
+}