Simplify

Author: VincentLanglet

src/Type/Generic/TemplateTypeVariance.php

@@ -176,10 +176,7 @@ 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;
-			}
+			$result = $a->equals($b) || ($b instanceof TemplateType && $a->equals($b->getBound()));
 			$reasons = [];
 			if (!$result) {
 				if (

src/Type/ObjectType.php

@@ -625,10 +625,6 @@ public function isSuperTypeOf(Type $type): IsSuperTypeOfResult
 
 	public function equals(Type $type): bool
 	{
-		if (!$type instanceof self) {
-			return false;
-		}
-
 		if (get_class($this) !== get_class($type)) {
 			return false;
 		}