Optimization of ObjectType::isSuperTypeOf()

phpcs.xml

@@ -2,6 +2,7 @@
 <ruleset name="PHPStan">
 	<rule ref="build-cs/vendor/consistence/coding-standard/Consistence/ruleset.xml">
 		<exclude name="SlevomatCodingStandard.Commenting.InlineDocCommentDeclaration.InvalidFormat"/>
+		<exclude name="SlevomatCodingStandard.Commenting.InlineDocCommentDeclaration.MissingVariable"/>
 		<exclude name="SlevomatCodingStandard.Namespaces.FullyQualifiedClassNameAfterKeyword"/>
 		<exclude name="SlevomatCodingStandard.Namespaces.FullyQualifiedClassNameInAnnotation"/>
 		<exclude name="SlevomatCodingStandard.Namespaces.ReferenceUsedNamesOnly"/>

src/Type/ObjectType.php

@@ -138,8 +138,19 @@ 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 (static::class === self::class) {
+			$thisDescription = $this->describeCache();
+		} else {
+			$thisDescription = $this->describe(VerbosityLevel::cache());
+		}
+
+		if (get_class($type) === self::class) {
+			/** @var self $type */
+			$description = $type->describeCache();
+		} else {
+			$description = $type->describe(VerbosityLevel::cache());
+		}
+
 		if (isset(self::$superTypes[$thisDescription][$description])) {
 			return self::$superTypes[$thisDescription][$description];
 		}
@@ -298,6 +309,16 @@ function () use ($level): string {
 		);
 	}
 
+	private function describeCache(): string
+	{
+		$description = $this->className;
+		if ($this->subtractedType !== null) {
+			$description .= sprintf('~%s', $this->subtractedType->describe(VerbosityLevel::cache()));
+		}
+
+		return $description;
+	}
+
 	public function toNumber(): Type
 	{
 		if ($this->isInstanceOf('SimpleXMLElement')->yes()) {