Fix another infinite recursion problem

Author: ondrejmirtes

src/Type/Generic/TemplateTypeTrait.php

@@ -117,9 +117,10 @@ public function isSuperTypeOf(Type $type): TrinaryLogic
 
 	public function isSubTypeOf(Type $type): TrinaryLogic
 	{
-		$boundClass = get_class($this->getBound());
+		$bound = $this->getBound();
 		if (
-			!$type instanceof $boundClass
+			!$type instanceof $bound
+			&& !$this instanceof $type
 			&& !$type instanceof TemplateType
 			&& ($type instanceof UnionType || $type instanceof IntersectionType)
 		) {

tests/PHPStan/Type/TemplateTypeTest.php

@@ -248,6 +248,12 @@ public function dataIsSuperTypeOf(): array
 				TrinaryLogic::createMaybe(),
 				TrinaryLogic::createMaybe(),
 			],
+			[
+				$templateType('T', new BenevolentUnionType([new IntegerType(), new StringType()])),
+				new UnionType([new BooleanType(), new FloatType(), new IntegerType(), new StringType(), new NullType()]),
+				TrinaryLogic::createMaybe(),
+				TrinaryLogic::createYes(),
+			],
 		];
 	}