is_callable() with an array with two items results in method_exists()

src/Type/Php/IsCallableFunctionTypeSpecifyingExtension.php

@@ -2,22 +2,34 @@
 
 namespace PHPStan\Type\Php;
 
+use PhpParser\Node\Arg;
+use PhpParser\Node\Expr\Array_;
 use PhpParser\Node\Expr\FuncCall;
+use PhpParser\Node\Name;
 use PHPStan\Analyser\Scope;
 use PHPStan\Analyser\SpecifiedTypes;
 use PHPStan\Analyser\TypeSpecifier;
 use PHPStan\Analyser\TypeSpecifierAwareExtension;
 use PHPStan\Analyser\TypeSpecifierContext;
 use PHPStan\Reflection\FunctionReflection;
 use PHPStan\Type\CallableType;
+use PHPStan\Type\Constant\ConstantArrayType;
 use PHPStan\Type\FunctionTypeSpecifyingExtension;
 
 class IsCallableFunctionTypeSpecifyingExtension implements FunctionTypeSpecifyingExtension, TypeSpecifierAwareExtension
 {
 
+	/** @var \PHPStan\Type\Php\MethodExistsTypeSpecifyingExtension */
+	private $methodExistsExtension;
+
 	/** @var \PHPStan\Analyser\TypeSpecifier */
 	private $typeSpecifier;
 
+	public function __construct(MethodExistsTypeSpecifyingExtension $methodExistsExtension)
+	{
+		$this->methodExistsExtension = $methodExistsExtension;
+	}
+
 	public function isFunctionSupported(FunctionReflection $functionReflection, FuncCall $node, TypeSpecifierContext $context): bool
 	{
 		return strtolower($functionReflection->getName()) === 'is_callable'
@@ -31,7 +43,22 @@ public function specifyTypes(FunctionReflection $functionReflection, FuncCall $n
 			throw new \PHPStan\ShouldNotHappenException();
 		}
 
-		return $this->typeSpecifier->create($node->args[0]->value, new CallableType(), $context);
+		$value = $node->args[0]->value;
+		$valueType = $scope->getType($value);
+		if (
+			$value instanceof Array_
+			&& count($value->items) === 2
+			&& $valueType instanceof ConstantArrayType
+			&& !$valueType->isCallable()->no()
+		) {
+			$functionCall = new FuncCall(new Name('method_exists'), [
+				new Arg($value->items[0]->value),
+				new Arg($value->items[1]->value),
+			]);
+			return $this->methodExistsExtension->specifyTypes($functionReflection, $functionCall, $scope, $context);
+		}
+
+		return $this->typeSpecifier->create($value, new CallableType(), $context);
 	}
 
 	public function setTypeSpecifier(TypeSpecifier $typeSpecifier): void

tests/PHPStan/Rules/Methods/data/call-methods.php

@@ -1299,3 +1299,18 @@ public function requireIntOrString($parameter)
 	}
 
 }
+
+class IsCallableResultsInMethodExists
+{
+
+	/**
+	 * @param object $value
+	 */
+	public function doFoo($value): void
+	{
+		if (is_callable([$value, 'toArray'])) {
+			$value->toArray();
+		}
+	}
+
+}