Test ObjectType::isSuperTypeOf()

ondrejmirtes · ondrejmirtes · commit 36c5def47827 · 2022-07-12T16:56:17.000+02:00
diff --git a/tests/PHPStan/Type/ObjectTypeTest.php b/tests/PHPStan/Type/ObjectTypeTest.php
@@ -11,6 +11,7 @@
 use DateTimeImmutable;
 use DateTimeInterface;
 use Exception;
+use ExtendsThrowable\ExtendsThrowable;
 use Generator;
 use InvalidArgumentException;
 use Iterator;
@@ -406,6 +407,16 @@ public function dataIsSuperTypeOf(): array
 				new ObjectType(IntegerType::class),
 				TrinaryLogic::createMaybe(),
 			],
+			57 => [
+				new ObjectType(Throwable::class),
+				new ObjectType(ExtendsThrowable::class),
+				TrinaryLogic::createYes(),
+			],
+			58 => [
+				new ObjectType(Throwable::class, new ObjectType(InvalidArgumentException::class)),
+				new ObjectType(ExtendsThrowable::class),
+				TrinaryLogic::createMaybe(),
+			],
 		];
 	}
 
diff --git a/tests/PHPStan/Type/data/ExtendsThrowable.php b/tests/PHPStan/Type/data/ExtendsThrowable.php
@@ -0,0 +1,10 @@
+<?php
+
+namespace ExtendsThrowable;
+
+use Throwable;
+
+interface ExtendsThrowable extends Throwable
+{
+
+}
