Make array_map understand union of callables.

src/Type/Php/ArrayMapFunctionReturnTypeExtension.php

@@ -39,10 +39,11 @@ public function getTypeFromFunctionCall(FunctionReflection $functionReflection,
 		$callableIsNull = $callableType->isNull()->yes();
 
 		if ($callableType->isCallable()->yes()) {
-			$valueType = new NeverType();
+			$valueTypes = [new NeverType()];
 			foreach ($callableType->getCallableParametersAcceptors($scope) as $parametersAcceptor) {
-				$valueType = TypeCombinator::union($valueType, $parametersAcceptor->getReturnType());
+				$valueTypes[] = $parametersAcceptor->getReturnType();
 			}
+			$valueType = TypeCombinator::union(...$valueTypes);
 		} elseif ($callableIsNull) {
 			$arrayBuilder = ConstantArrayTypeBuilder::createEmpty();
 			foreach (array_slice($functionCall->getArgs(), 1) as $index => $arg) {

src/Type/UnionType.php

@@ -28,6 +28,7 @@
 use PHPStan\Type\Generic\TemplateUnionType;
 use PHPStan\Type\Traits\NonGeneralizableTypeTrait;
 use function array_map;
+use function array_merge;
 use function array_unique;
 use function array_values;
 use function count;
@@ -703,15 +704,21 @@ public function isCallable(): TrinaryLogic
 	 */
 	public function getCallableParametersAcceptors(ClassMemberAccessAnswerer $scope): array
 	{
+		$acceptors = [];
+
 		foreach ($this->types as $type) {
 			if ($type->isCallable()->no()) {
 				continue;
 			}
 
-			return $type->getCallableParametersAcceptors($scope);
+			$acceptors = array_merge($acceptors, $type->getCallableParametersAcceptors($scope));
+		}
+
+		if (count($acceptors) === 0) {
+			throw new ShouldNotHappenException();
 		}
 
-		throw new ShouldNotHappenException();
+		return $acceptors;
 	}
 
 	public function isCloneable(): TrinaryLogic

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -1427,6 +1427,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-10302-interface-extends.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-10302-trait-extends.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-10302-trait-implements.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-10442.php');
 	}
 
 	/**

tests/PHPStan/Analyser/data/bug-10442.php

@@ -0,0 +1,15 @@
+<?php
+
+namespace Bug10442;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @param callable(mixed): string|callable(mixed): int $callable
+ */
+function test(callable $callable): void
+{
+	$val = array_map($callable, ['val', 'val2']);
+
+	assertType('array{int|string, int|string}', $val);
+}