Fix return value type inference of FuncCall on FuncCall

Author: VincentLanglet

src/Analyser/MutatingScope.php

@@ -2347,7 +2347,11 @@ static function (Node $node, Scope $scope) use ($arrowScope, &$arrowFunctionImpu
 					/** @var non-empty-string $name */
 					$name = $node->name->value;
 					$functionName = new Name($name);
-				} elseif ($node->name instanceof FuncCall && $node->name->name instanceof Name) {
+				} elseif (
+					$node->name instanceof FuncCall
+					&& $node->name->name instanceof Name
+					&& $node->name->isFirstClassCallable()
+				) {
 					$functionName = $node->name->name;
 				}
 

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

@@ -0,0 +1,26 @@
+<?php
+
+namespace Bug13296;
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+	/**
+	 * @param non-empty-array<Bar> $a
+	 * @param non-empty-array<int> $b
+	 */
+	public function test($a, $b)
+	{
+		assertType('string', current($a)($b));
+	}
+}
+
+class Bar
+{
+	/** @return string */
+	public function __invoke($b)
+	{
+		return '';
+	}
+}