Split ConstantIntegerType/ConstantStringType branches to satisfy ConstantArrayType constructor type

Etienne V. Labelle · staabm · commit fc0205b9893d · 2026-04-17T14:26:55.000+02:00
diff --git a/src/Extensions/PdoStatementExecuteTypeSpecifyingExtension.php b/src/Extensions/PdoStatementExecuteTypeSpecifyingExtension.php
@@ -84,8 +84,11 @@ private function inferStatementType(MethodReflection $methodReflection, MethodCa
                 if (\count($bindArgs) >= 2) {
                     $keyType = $scope->getType($bindArgs[0]->value);
                     $constantStrings = $keyType->getConstantStrings();
-                    if ($keyType instanceof ConstantIntegerType || [] !== $constantStrings) {
-                        $parameterKeys[] = [] !== $constantStrings ? $constantStrings[0] : $keyType;
+                    if ($keyType instanceof ConstantIntegerType) {
+                        $parameterKeys[] = $keyType;
+                        $parameterValues[] = $scope->getType($bindArgs[1]->value);
+                    } elseif ([] !== $constantStrings) {
+                        $parameterKeys[] = $constantStrings[0];
                         $parameterValues[] = $scope->getType($bindArgs[1]->value);
                     }
                 }

Original file line number	Diff line number	Diff line change
`@@ -84,8 +84,11 @@ private function inferStatementType(MethodReflection $methodReflection, MethodCa`
`84`	`84`	`if (\count($bindArgs) >= 2) {`
`85`	`85`	`$keyType = $scope->getType($bindArgs[0]->value);`
`86`	`86`	`$constantStrings = $keyType->getConstantStrings();`
`87`		`- if ($keyType instanceof ConstantIntegerType \|\| [] !== $constantStrings) {`
`88`		`- $parameterKeys[] = [] !== $constantStrings ? $constantStrings[0] : $keyType;`
	`87`	`+ if ($keyType instanceof ConstantIntegerType) {`
	`88`	`+ $parameterKeys[] = $keyType;`
	`89`	`+ $parameterValues[] = $scope->getType($bindArgs[1]->value);`
	`90`	`+ } elseif ([] !== $constantStrings) {`
	`91`	`+ $parameterKeys[] = $constantStrings[0];`
`89`	`92`	`$parameterValues[] = $scope->getType($bindArgs[1]->value);`
`90`	`93`	`}`
`91`	`94`	`}`