From e88491bb8507c417559343b5e4d51c1fe59b56c5 Mon Sep 17 00:00:00 2001
From: Ondrej Mirtes <ondrej@mirtes.cz>
Date: Sun, 24 Jan 2021 12:43:39 +0100
Subject: [PATCH] Optimized caching of isSuperTypeOf in ObjectType

---
 src/Type/ObjectType.php | 37 +++++++++++++++++++------------------
 1 file changed, 19 insertions(+), 18 deletions(-)

diff --git a/src/Type/ObjectType.php b/src/Type/ObjectType.php
index b8cf5cd71e..91b42d7690 100644
--- a/src/Type/ObjectType.php
+++ b/src/Type/ObjectType.php
@@ -36,8 +36,8 @@ class ObjectType implements TypeWithClassName, SubtractableType
 
 	private ?GenericObjectType $genericObjectType = null;
 
-	/** @var array<string, \PHPStan\TrinaryLogic> */
-	private array $superTypes = [];
+	/** @var array<string, array<string, \PHPStan\TrinaryLogic>> */
+	private static array $superTypes = [];
 
 	public function __construct(
 		string $className,
@@ -138,33 +138,34 @@ public function accepts(Type $type, bool $strictTypes): TrinaryLogic
 
 	public function isSuperTypeOf(Type $type): TrinaryLogic
 	{
+		$thisDescription = $this->describe(VerbosityLevel::cache());
 		$description = $type->describe(VerbosityLevel::cache());
-		if (isset($this->superTypes[$description])) {
-			return $this->superTypes[$description];
+		if (isset(self::$superTypes[$thisDescription][$description])) {
+			return self::$superTypes[$thisDescription][$description];
 		}
 
 		if ($type instanceof CompoundType) {
-			return $this->superTypes[$description] = $type->isSubTypeOf($this);
+			return self::$superTypes[$thisDescription][$description] = $type->isSubTypeOf($this);
 		}
 
 		if ($type instanceof ObjectWithoutClassType) {
 			if ($type->getSubtractedType() !== null) {
 				$isSuperType = $type->getSubtractedType()->isSuperTypeOf($this);
 				if ($isSuperType->yes()) {
-					return $this->superTypes[$description] = TrinaryLogic::createNo();
+					return self::$superTypes[$thisDescription][$description] = TrinaryLogic::createNo();
 				}
 			}
-			return $this->superTypes[$description] = TrinaryLogic::createMaybe();
+			return self::$superTypes[$thisDescription][$description] = TrinaryLogic::createMaybe();
 		}
 
 		if (!$type instanceof TypeWithClassName) {
-			return $this->superTypes[$description] = TrinaryLogic::createNo();
+			return self::$superTypes[$thisDescription][$description] = TrinaryLogic::createNo();
 		}
 
 		if ($this->subtractedType !== null) {
 			$isSuperType = $this->subtractedType->isSuperTypeOf($type);
 			if ($isSuperType->yes()) {
-				return $this->superTypes[$description] = TrinaryLogic::createNo();
+				return self::$superTypes[$thisDescription][$description] = TrinaryLogic::createNo();
 			}
 		}
 
@@ -174,7 +175,7 @@ public function isSuperTypeOf(Type $type): TrinaryLogic
 		) {
 			$isSuperType = $type->getSubtractedType()->isSuperTypeOf($this);
 			if ($isSuperType->yes()) {
-				return $this->superTypes[$description] = TrinaryLogic::createNo();
+				return self::$superTypes[$thisDescription][$description] = TrinaryLogic::createNo();
 			}
 		}
 
@@ -182,39 +183,39 @@ public function isSuperTypeOf(Type $type): TrinaryLogic
 		$thatClassName = $type->getClassName();
 
 		if ($thatClassName === $thisClassName) {
-			return $this->superTypes[$description] = TrinaryLogic::createYes();
+			return self::$superTypes[$thisDescription][$description] = TrinaryLogic::createYes();
 		}
 
 		$broker = Broker::getInstance();
 
 		if ($this->getClassReflection() === null || !$broker->hasClass($thatClassName)) {
-			return $this->superTypes[$description] = TrinaryLogic::createMaybe();
+			return self::$superTypes[$thisDescription][$description] = TrinaryLogic::createMaybe();
 		}
 
 		$thisClassReflection = $this->getClassReflection();
 		$thatClassReflection = $broker->getClass($thatClassName);
 
 		if ($thisClassReflection->getName() === $thatClassReflection->getName()) {
-			return $this->superTypes[$description] = TrinaryLogic::createYes();
+			return self::$superTypes[$thisDescription][$description] = TrinaryLogic::createYes();
 		}
 
 		if ($thatClassReflection->isSubclassOf($thisClassName)) {
-			return $this->superTypes[$description] = TrinaryLogic::createYes();
+			return self::$superTypes[$thisDescription][$description] = TrinaryLogic::createYes();
 		}
 
 		if ($thisClassReflection->isSubclassOf($thatClassName)) {
-			return $this->superTypes[$description] = TrinaryLogic::createMaybe();
+			return self::$superTypes[$thisDescription][$description] = TrinaryLogic::createMaybe();
 		}
 
 		if ($thisClassReflection->isInterface() && !$thatClassReflection->getNativeReflection()->isFinal()) {
-			return $this->superTypes[$description] = TrinaryLogic::createMaybe();
+			return self::$superTypes[$thisDescription][$description] = TrinaryLogic::createMaybe();
 		}
 
 		if ($thatClassReflection->isInterface() && !$thisClassReflection->getNativeReflection()->isFinal()) {
-			return $this->superTypes[$description] = TrinaryLogic::createMaybe();
+			return self::$superTypes[$thisDescription][$description] = TrinaryLogic::createMaybe();
 		}
 
-		return $this->superTypes[$description] = TrinaryLogic::createNo();
+		return self::$superTypes[$thisDescription][$description] = TrinaryLogic::createNo();
 	}
 
 	public function equals(Type $type): bool