From 6d1e13c32bf30bc28962fd5d3bc4181e3e8303ed Mon Sep 17 00:00:00 2001
From: HypeMC <hypemc@gmail.com>
Date: Wed, 21 Jan 2026 14:26:38 +0100
Subject: [PATCH] Fix invokable objects incorrectly labeled as instances of
 `Closure`

---
 src/Type/Accessory/HasMethodType.php           |  7 ++++++-
 .../Analyser/AnalyserIntegrationTest.php       |  6 ++++++
 tests/PHPStan/Analyser/data/bug-13975.php      | 18 ++++++++++++++++++
 3 files changed, 30 insertions(+), 1 deletion(-)
 create mode 100644 tests/PHPStan/Analyser/data/bug-13975.php

diff --git a/src/Type/Accessory/HasMethodType.php b/src/Type/Accessory/HasMethodType.php
index 66d8365595..7d3901cc51 100644
--- a/src/Type/Accessory/HasMethodType.php
+++ b/src/Type/Accessory/HasMethodType.php
@@ -2,6 +2,7 @@
 
 namespace PHPStan\Type\Accessory;
 
+use Closure;
 use PHPStan\PhpDocParser\Ast\Type\IdentifierTypeNode;
 use PHPStan\PhpDocParser\Ast\Type\TypeNode;
 use PHPStan\Reflection\ClassMemberAccessAnswerer;
@@ -83,7 +84,11 @@ public function isSubTypeOf(Type $otherType): IsSuperTypeOfResult
 			return $otherType->isSuperTypeOf($this);
 		}
 
-		if ($this->isCallable()->yes() && $otherType->isCallable()->yes()) {
+		if (
+			$this->isCallable()->yes()
+			&& $otherType->isCallable()->yes()
+			&& !($otherType->isObject()->yes() && $otherType->isInstanceOf(Closure::class)->yes())
+		) {
 			return IsSuperTypeOfResult::createYes();
 		}
 
diff --git a/tests/PHPStan/Analyser/AnalyserIntegrationTest.php b/tests/PHPStan/Analyser/AnalyserIntegrationTest.php
index 413d8f160d..25f31d9158 100644
--- a/tests/PHPStan/Analyser/AnalyserIntegrationTest.php
+++ b/tests/PHPStan/Analyser/AnalyserIntegrationTest.php
@@ -1619,6 +1619,12 @@ public function testBug13980(): void
 		$this->assertNoErrors($errors);
 	}
 
+	public function testBug13975(): void
+	{
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-13975.php');
+		$this->assertNoErrors($errors);
+	}
+
 	/**
 	 * @param string[]|null $allAnalysedFiles
 	 * @return list<Error>
diff --git a/tests/PHPStan/Analyser/data/bug-13975.php b/tests/PHPStan/Analyser/data/bug-13975.php
new file mode 100644
index 0000000000..69bfdd9ec0
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/bug-13975.php
@@ -0,0 +1,18 @@
+<?php declare(strict_types=1);
+
+namespace Bug13975;
+
+function foo(): callable
+{
+	return new class () {
+		public function __invoke(): void
+		{
+		}
+	};
+}
+
+$foo = foo();
+
+if (\is_object($foo) && method_exists($foo, '__invoke') && !$foo instanceof \Closure) {
+	echo 'true';
+}