Fix template type resolving for first-class callable assertions

Use ParametersAcceptorSelector::selectFromArgs() to resolve template
types from actual call arguments before applying assertions, matching
the pattern used for direct function calls.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

src/Analyser/TypeSpecifier.php

@@ -26,6 +26,7 @@
 use PHPStan\Node\Printer\ExprPrinter;
 use PHPStan\Php\PhpVersion;
 use PHPStan\Reflection\Assertions;
+use PHPStan\Reflection\Callables\CallableParametersAcceptor;
 use PHPStan\Reflection\ExtendedParametersAcceptor;
 use PHPStan\Reflection\ParametersAcceptor;
 use PHPStan\Reflection\ParametersAcceptorSelector;
@@ -1783,16 +1784,25 @@ private function specifyTypesFromCallableCall(TypeSpecifierContext $context, Fun
 		$parametersAcceptor = null;
 
 		if ($calleeType->isCallable()->yes()) {
-			foreach ($calleeType->getCallableParametersAcceptors($scope) as $variant) {
+			$variants = $calleeType->getCallableParametersAcceptors($scope);
+			$hasAssertions = false;
+			foreach ($variants as $variant) {
 				$variantAssertions = $variant->getAsserts();
 				if ($variantAssertions->getAll() === []) {
 					continue;
 				}
 
-				$assertions = $variantAssertions;
-				$parametersAcceptor = $variant;
+				$hasAssertions = true;
 				break;
 			}
+
+			if ($hasAssertions) {
+				$resolvedAcceptor = ParametersAcceptorSelector::selectFromArgs($scope, $call->getArgs(), $variants);
+				$parametersAcceptor = $resolvedAcceptor;
+				if ($resolvedAcceptor instanceof CallableParametersAcceptor) {
+					$assertions = $resolvedAcceptor->getAsserts();
+				}
+			}
 		}
 
 		if ($assertions === null || $assertions->getAll() === [] || $parametersAcceptor === null) {