Fix #12363: Spreading an associative array into a generic function/method call may restrict optional arguments to their default values.

src/Reflection/ParametersAcceptorSelector.php

@@ -516,7 +516,26 @@ public static function selectFromArgs(
 			}
 			if ($originalArg->unpack) {
 				$unpack = true;
-				$types[$index] = $type->getIterableValueType();
+				$constantArrays = $type->getConstantArrays();
+				if (count($constantArrays) > 0) {
+					foreach ($constantArrays as $constantArray) {
+						foreach ($constantArray->getKeyTypes() as $j => $keyType) {
+							$valueType = $constantArray->getValueTypes()[$j];
+							$valueIndex = $keyType->getValue();
+							if (is_string($valueIndex)) {
+								$hasName = true;
+							} else {
+								$valueIndex = $i + $j;
+							}
+
+							$types[$valueIndex] = isset($types[$valueIndex])
+								? TypeCombinator::union($types[$valueIndex], $valueType)
+								: $valueType;
+						}
+					}
+				} else {
+					$types[$index] = $type->getIterableValueType();
+				}
 			} else {
 				$types[$index] = $type;
 			}

tests/PHPStan/Rules/Classes/InstantiationRuleTest.php

@@ -579,6 +579,11 @@ public function testBug13440(): void
 		$this->analyse([__DIR__ . '/data/bug-13440.php'], []);
 	}
 
+	public function testBug12363(): void
+	{
+		$this->analyse([__DIR__ . '/../Methods/data/bug-12363.php'], []);
+	}
+
 	public function testNewStaticWithConsistentConstructor(): void
 	{
 		$this->analyse([__DIR__ . '/data/instantiation-new-static-consistent-constructor.php'], [

tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php

@@ -2735,4 +2735,9 @@ public function testBug10559(): void
 		$this->analyse([__DIR__ . '/data/bug-10559.php'], []);
 	}
 
+	public function testBug12363(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-12363.php'], []);
+	}
+
 }

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

@@ -0,0 +1,26 @@
+<?php // lint >= 8.0
+
+declare(strict_types = 1);
+
+namespace Bug12363;
+
+/**
+ * @template Y of 'a'|'b'
+ * @param Y $y
+ */
+function f(int $x, string $y = 'a'): void {}
+
+// Spreading associative array with required + optional template param
+f(...['x' => 5, 'y' => 'b']);
+
+// Without spread - should also work
+f(5, 'b');
+
+/**
+ * @template Y of 'a'|'b'
+ * @param Y $y
+ */
+function g(string $y = 'a'): void {}
+
+// Without preceding required arg - already works
+g(...['y' => 'b']);

tests/PHPStan/Rules/Methods/data/bug-12363.php

@@ -0,0 +1,52 @@
+<?php // lint >= 8.1
+
+declare(strict_types = 1);
+
+namespace Bug12363Methods;
+
+/**
+ * @template Y of 'a'|'b'
+ */
+class A
+{
+	/**
+	 * @param Y $y
+	 */
+	public function __construct(
+		public readonly int $x,
+		public readonly string $y = 'a',
+	) {
+	}
+}
+
+$a = new A(...['x' => 5, 'y' => 'b']);
+
+$aa = new A(...[5, 'y' => 'b']);
+
+$aaa = new A(...[5, 'b']);
+
+$aaaa = new A(...[1 => 5, 2 => 'b']);
+
+/**
+ * @template Y of 'a'|'b'
+ */
+class B
+{
+	/**
+	 * @param Y $y
+	 */
+	public function __construct(
+		public readonly int $init,
+		public readonly int $x,
+		public readonly string $y = 'a',
+	) {
+	}
+}
+
+$a = new B(1, ...['x' => 5, 'y' => 'b']);
+
+$aa = new B(1, ...[5, 'y' => 'b']);
+
+$aaa = new B(1, ...[5, 'b']);
+
+$aaaa = new B(1, ...[1 => 5, 2 => 'b']);