requires non-empty num

Author: staabm

resources/functionMap_php80delta_bleedingEdge.php

@@ -2,11 +2,11 @@
 
 return [
 	'new' => [
-		'array_rand' => ['int|string|array<int,int>|array<int,string>', 'input'=>'non-empty-array', 'num_req'=>'int'],
+		'array_rand' => ['int|string|array<int,int>|array<int,string>', 'input'=>'non-empty-array', 'num_req'=>'positive-int'],
 		'array_rand\'1' => ['int|string', 'input'=>'non-empty-array'],
 	],
 	'old' => [
-		'array_rand' => ['int|string|array<int,int>|array<int,string>', 'input'=>'array', 'num_req'=>'int'],
+		'array_rand' => ['int|string|array<int,int>|array<int,string>', 'input'=>'array', 'num_req'=>'positive-int'],
 		'array_rand\'1' => ['int|string', 'input'=>'array'],
 	],
 ];

tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php

@@ -2381,6 +2381,18 @@ public function testArrayRand(): void
 				'Parameter #1 $input of function array_rand expects non-empty-array, array{} given.',
 				8,
 				'array{} is empty.'
+			],
+			[
+				'Parameter #2 $num_req of function array_rand expects int<1, max>, int given.',
+				8,
+			],
+			[
+				'Parameter #2 $num_req of function array_rand expects int<1, max>, -5 given.',
+				13,
+			],
+			[
+				'Parameter #2 $num_req of function array_rand expects int<1, max>, 0 given.',
+				14,
 			]
 		]);
 	}

tests/PHPStan/Rules/Functions/data/array-rand.php

@@ -7,3 +7,11 @@ function doFoo(int $i) {
 	$x = array_rand($arr);
 	$y = array_rand($arr, $i);
 }
+
+/** @param non-empty-array $arr */
+function doBar(array $arr) {
+	$y = array_rand($arr, -5);
+	$y = array_rand($arr, 0);
+	$y = array_rand($arr, 1);
+	$y = array_rand($arr);
+}