Fix intersection type losing __invoke() return type

- IntersectionType::getCallableParametersAcceptors() returned TrivialParametersAcceptor, losing all type info
- Now delegates to inner types, preferring types that are definitely callable over maybe-callable
- New regression test in tests/PHPStan/Analyser/nsrt/bug-14362.php

Author: phpstan-bot

src/Type/IntersectionType.php

@@ -16,7 +16,6 @@
 use PHPStan\Reflection\MissingConstantFromReflectionException;
 use PHPStan\Reflection\MissingMethodFromReflectionException;
 use PHPStan\Reflection\MissingPropertyFromReflectionException;
-use PHPStan\Reflection\TrivialParametersAcceptor;
 use PHPStan\Reflection\Type\IntersectionTypeUnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Type\IntersectionTypeUnresolvedPropertyPrototypeReflection;
 use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;
@@ -46,6 +45,7 @@
 use function array_filter;
 use function array_intersect_key;
 use function array_map;
+use function array_merge;
 use function array_shift;
 use function array_unique;
 use function array_values;
@@ -1124,11 +1124,31 @@ public function isCallable(): TrinaryLogic
 
 	public function getCallableParametersAcceptors(ClassMemberAccessAnswerer $scope): array
 	{
-		if ($this->isCallable()->no()) {
-			throw new ShouldNotHappenException();
+		$yesAcceptors = [];
+		$maybeAcceptors = [];
+
+		foreach ($this->types as $type) {
+			$isCallable = $type->isCallable();
+			if ($isCallable->no()) {
+				continue;
+			}
+
+			if ($isCallable->yes()) {
+				$yesAcceptors = array_merge($yesAcceptors, $type->getCallableParametersAcceptors($scope));
+			} else {
+				$maybeAcceptors = array_merge($maybeAcceptors, $type->getCallableParametersAcceptors($scope));
+			}
+		}
+
+		if (count($yesAcceptors) > 0) {
+			return $yesAcceptors;
+		}
+
+		if (count($maybeAcceptors) > 0) {
+			return $maybeAcceptors;
 		}
 
-		return [new TrivialParametersAcceptor()];
+		throw new ShouldNotHappenException();
 	}
 
 	public function isCloneable(): TrinaryLogic

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

@@ -0,0 +1,42 @@
+<?php // lint >= 8.1
+
+declare(strict_types = 1);
+
+namespace Bug14362;
+
+use function PHPStan\Testing\assertType;
+
+interface A
+{
+	public function __invoke(B $b): int;
+}
+
+interface B
+{
+
+}
+
+class C {
+	public static function u(): A&B {
+		return new class() implements A, B {
+			public function __invoke(B $b): int {
+				return 1;
+			}
+		};
+	}
+}
+
+class D {
+	public static function u(): A {
+		return new class() implements A {
+			public function __invoke(B $b): int {
+				return 1;
+			}
+		};
+	}
+}
+
+function () : void {
+	assertType('Closure(Bug14362\B): int', C::u()(...));
+	assertType('Closure(Bug14362\B): int', D::u()(...));
+};