Fix phpstan/phpstan#2572: Optional templated args not provided cause unbound template errors

src/Reflection/GenericParametersAcceptorResolver.php

@@ -10,6 +10,7 @@
 use PHPStan\Type\Generic\TemplateTypeMap;
 use PHPStan\Type\Generic\TemplateTypeVarianceMap;
 use PHPStan\Type\MixedType;
+use PHPStan\Type\NeverType;
 use PHPStan\Type\Type;
 use PHPStan\Type\TypeCombinator;
 use function array_key_exists;
@@ -61,6 +62,8 @@ public static function resolve(array $argTypes, ParametersAcceptor $parametersAc
 				$argType = $namedArgTypes[$param->getName()];
 			} elseif ($param->getDefaultValue() !== null) {
 				$argType = $param->getDefaultValue();
+			} elseif ($param->isVariadic()) {
+				$argType = new NeverType();
 			} else {
 				continue;
 			}

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

@@ -0,0 +1,27 @@
+<?php declare(strict_types = 1);
+
+namespace Bug2572Nsrt;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @template TE
+ * @template TR
+ *
+ * @param TE $elt
+ * @param TR ...$elts
+ *
+ * @return TE|TR
+ */
+function collect($elt, ...$elts) {
+	$ret = $elt;
+	foreach ($elts as $item) {
+		if (rand(0, 1)) {
+			$ret = $item;
+		}
+	}
+	return $ret;
+}
+
+assertType("'a'", collect("a"));
+assertType("'a'|'b'|'c'", collect("a", "b", "c"));

tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php

@@ -2746,4 +2746,9 @@ public function testBug13247(): void
 		$this->analyse([__DIR__ . '/data/bug-13247.php'], []);
 	}
 
+	public function testBug2572(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-2572.php'], []);
+	}
+
 }

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

@@ -0,0 +1,25 @@
+<?php declare(strict_types = 1);
+
+namespace Bug2572;
+
+/**
+ * @template TE
+ * @template TR
+ *
+ * @param TE $elt
+ * @param TR ...$elts
+ *
+ * @return TE|TR
+ */
+function collect($elt, ...$elts) {
+	$ret = $elt;
+	foreach ($elts as $item) {
+		if (rand(0, 1)) {
+			$ret = $item;
+		}
+	}
+	return $ret;
+}
+
+echo collect("a");
+echo collect("a", "b", "c");