Use narrowed iterable types in IntersectionType::isAcceptedBy() for array&callable

When an array&callable intersection is checked for acceptance, the raw
ArrayType(mixed, mixed) component was used, causing array<int> to
incorrectly accept array&callable. Now the array component uses the
narrowed key/value types (int<0,1>, object|non-falsy-string) so the
acceptance check correctly rejects incompatible array types.

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

Author: phpstan-bot

src/Type/IntersectionType.php

@@ -299,8 +299,23 @@ public function isSubTypeOf(Type $otherType): IsSuperTypeOfResult
 
 	public function isAcceptedBy(Type $acceptingType, bool $strictTypes): AcceptsResult
 	{
+		$types = $this->types;
+		if ($this->isCallable()->yes() && $this->isArray()->yes()) {
+			$narrowedKeyType = $this->getIterableKeyType();
+			$narrowedValueType = $this->getIterableValueType();
+			$types = array_map(static function (Type $innerType) use ($narrowedKeyType, $narrowedValueType): Type {
+				if (!$innerType->isArray()->yes()) {
+					return $innerType;
+				}
+				if (!$innerType->getIterableValueType() instanceof MixedType) {
+					return $innerType;
+				}
+				return new ArrayType($narrowedKeyType, $narrowedValueType);
+			}, $types);
+		}
+
 		$result = AcceptsResult::lazyMaxMin(
-			$this->types,
+			$types,
 			static fn (Type $innerType) => $acceptingType->accepts($innerType, $strictTypes),
 		);
 

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -4017,4 +4017,21 @@ public function testBug13272(): void
 		$this->analyse([__DIR__ . '/data/bug-13272.php'], []);
 	}
 
+	public function testBug14549(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->analyse([__DIR__ . '/data/bug-14549.php'], [
+			[
+				'Parameter #1 $param of method Bug14549\Foo::call() expects array<int>, array&callable given.',
+				67,
+			],
+			[
+				'Parameter #1 $param of method Bug14549\Foo::call() expects array<int>, array&callable given.',
+				75,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Methods/data/bug-14549.php

@@ -54,6 +54,27 @@ public function doBaz(array $task): void
 	{
 	}
 
+	/** @param array<int> $param */
+	public function call(array $param): void
+	{
+	}
+
+	/**
+	 * @param callable-array $task
+	 */
+	public function doCallWithCallableArray(array $task): void
+	{
+		$this->call($task);
+	}
+
+	/**
+	 * @param callable&array $task
+	 */
+	public function doCallWithCallableAndArray(array $task): void
+	{
+		$this->call($task);
+	}
+
 }