test GenericObjectType contravariant subtyping

Author: jiripudil

tests/PHPStan/Type/Generic/GenericObjectTypeTest.php

@@ -97,6 +97,21 @@ public function dataIsSuperTypeOf(): array
 				new GenericObjectType(C\Covariant::class, [new ObjectType('DateTimeInterface')]),
 				TrinaryLogic::createMaybe(),
 			],
+			'contravariant with equal types' => [
+				new GenericObjectType(C\Contravariant::class, [new ObjectType('DateTime')]),
+				new GenericObjectType(C\Contravariant::class, [new ObjectType('DateTime')]),
+				TrinaryLogic::createYes(),
+			],
+			'contravariant with sub type' => [
+				new GenericObjectType(C\Contravariant::class, [new ObjectType('DateTimeInterface')]),
+				new GenericObjectType(C\Contravariant::class, [new ObjectType('DateTime')]),
+				TrinaryLogic::createMaybe(),
+			],
+			'contravariant with super type' => [
+				new GenericObjectType(C\Contravariant::class, [new ObjectType('DateTime')]),
+				new GenericObjectType(C\Contravariant::class, [new ObjectType('DateTimeInterface')]),
+				TrinaryLogic::createYes(),
+			],
 			[
 				new ObjectType(ReflectionClass::class),
 				new GenericObjectType(ReflectionClass::class, [

tests/PHPStan/Type/Generic/data/generic-classes-c.php

@@ -9,3 +9,7 @@ interface Invariant {
 /** @template-covariant T */
 interface Covariant {
 }
+
+/** @template-contravariant T */
+interface Contravariant {
+}