Test for T of object vs. object super type

ondrejmirtes · ondrejmirtes · commit 8f3ef5e73cf3 · 2020-01-11T15:50:26.000+01:00
diff --git a/tests/PHPStan/Type/TemplateTypeTest.php b/tests/PHPStan/Type/TemplateTypeTest.php
@@ -182,6 +182,12 @@ public function dataIsSuperTypeOf(): array
 				TrinaryLogic::createMaybe(), // T isSuperTypeTo mixed
 				TrinaryLogic::createYes(), // mixed isSuperTypeTo T
 			],
+			[
+				$templateType('T', new ObjectWithoutClassType()),
+				new ObjectWithoutClassType(),
+				TrinaryLogic::createMaybe(),
+				TrinaryLogic::createYes(),
+			],
 		];
 	}
 
