Simplify

Author: VincentLanglet

src/Type/Generic/TemplateTypeTrait.php

@@ -282,11 +282,6 @@ public function inferTemplateTypes(Type $receivedType): TemplateTypeMap
 			TemplateTypeVarianceMap::createEmpty(),
 			TemplateTypeVariance::createStatic(),
 		));
-		if ($resolvedBound->isSuperTypeOf($receivedType)->yes()) {
-			return (new TemplateTypeMap([
-				$this->name => $receivedType,
-			]))->union($map);
-		}
 
 		if ($receivedType instanceof UnionType) {
 			$matchingTypes = [];
@@ -303,6 +298,10 @@ public function inferTemplateTypes(Type $receivedType): TemplateTypeMap
 					$this->name => $filteredType,
 				]))->union($map);
 			}
+		} elseif ($resolvedBound->isSuperTypeOf($receivedType)->yes()) {
+			return (new TemplateTypeMap([
+				$this->name => $receivedType,
+			]))->union($map);
 		}
 
 		return $map;