Understand at least one argument for non empty array unpacked

Author: VincentLanglet

src/Rules/FunctionCallParametersCheck.php

@@ -188,6 +188,16 @@ public function check(
 							$arg->getStartLine(),
 						];
 					}
+
+					if (count($arguments) === 0 && $type->isIterableAtLeastOnce()->yes()) {
+						$arguments[] = [
+							$arg->value,
+							$type->getIterableValueType(),
+							true,
+							null,
+							$arg->getStartLine(),
+						];
+					}
 				} else {
 					$arguments[] = [
 						$arg->value,

tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php

@@ -2169,6 +2169,16 @@ public function testBug8922(): void
 		$this->analyse([__DIR__ . '/../../Analyser/nsrt/bug-8922.php'], $errors);
 	}
 
+	public function testBug10020(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-10020.php'], []);
+	}
+
+	public function testBug8506(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-8506.php'], []);
+	}
+
 	public function testBug13065(): void
 	{
 		$errors = [];

tests/PHPStan/Rules/Functions/data/bug-10020.php

@@ -0,0 +1,22 @@
+<?php declare(strict_types = 1);
+
+namespace Bug10020;
+
+function load(string $path, string ...$extraPaths): void
+{
+	//$this->doLoad(false, \func_get_args());
+}
+
+$projectDir = __DIR__;
+$environment = 'dev';
+
+$files = array_reverse(array_filter([
+	$projectDir.'/.env',
+	$projectDir.'/.env.'.$environment,
+	$projectDir.'/.env.local',
+	$projectDir.'/.env.'.$environment.'.local',
+], 'file_exists'));
+
+if ($files !== []) {
+	load(...$files);
+}

tests/PHPStan/Rules/Functions/data/bug-8506.php

@@ -0,0 +1,18 @@
+<?php
+
+namespace Bug8506;
+
+function a(): ?int { return rand(0, 1) ? 1 : null; }
+function b(int $i, int ...$a): void {}
+
+$arguments = array_filter([
+	a(),
+	a(),
+	a(),
+]);
+
+if (!$arguments) {
+	return;
+}
+
+b(...$arguments);