Use strict get_class() check in ObjectType::equals() and fix invariant variance for template types

Instead of narrowly rejecting only EnumCaseObjectType and GenericObjectType
in ObjectType::equals(), use a strict get_class() comparison for all
ObjectType subclasses. This makes equals() properly symmetric and prevents
any ObjectType subclass from being considered equal to a plain ObjectType.

To preserve the correct behavior where IRepository<E of IEntity> remains
a valid subtype of IRepository<IEntity>, add a template type bound check
in TemplateTypeVariance::isValidVariance() for invariant positions: when
the actual type argument ($b) is a TemplateType whose bound equals the
expected type argument ($a), treat them as equal.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

phpstan-baseline.neon

@@ -1473,16 +1473,10 @@ parameters:
 			count: 1
 			path: src/Type/ObjectShapeType.php
 
-		-
-			rawMessage: 'Doing instanceof PHPStan\Type\Enum\EnumCaseObjectType is error-prone and deprecated. Use Type::getEnumCases() instead.'
-			identifier: phpstanApi.instanceofType
-			count: 1
-			path: src/Type/ObjectType.php
-
 		-
 			rawMessage: Doing instanceof PHPStan\Type\Generic\GenericObjectType is error-prone and deprecated.
 			identifier: phpstanApi.instanceofType
-			count: 2
+			count: 1
 			path: src/Type/ObjectType.php
 
 		-

src/Type/Generic/TemplateTypeVariance.php

@@ -177,6 +177,9 @@ public function isValidVariance(TemplateType $templateType, Type $a, Type $b): I
 
 		if ($this->invariant()) {
 			$result = $a->equals($b);
+			if (!$result && $b instanceof TemplateType && $a->equals($b->getBound())) {
+				$result = true;
+			}
 			$reasons = [];
 			if (!$result) {
 				if (

src/Type/ObjectType.php

@@ -629,7 +629,7 @@ public function equals(Type $type): bool
 			return false;
 		}
 
-		if (($type instanceof EnumCaseObjectType || $type instanceof GenericObjectType) && get_class($this) !== get_class($type)) {
+		if (get_class($this) !== get_class($type)) {
 			return false;
 		}