simplify

staabm · staabm · commit 6b13264ce2a9 · 2024-11-29T22:26:09.000+01:00
diff --git a/src/Type/UnionType.php b/src/Type/UnionType.php
@@ -253,11 +253,7 @@ public function isSuperTypeOfWithReason(Type $otherType): IsSuperTypeOfResult
 			}
 			$results[] = $result;
 		}
-
 		$result = IsSuperTypeOfResult::createNo()->or(...$results);
-		if ($result->yes()) {
-			return $result;
-		}
 
 		if ($otherType instanceof TemplateUnionType) {
 			return $result->or($otherType->isSubTypeOfWithReason($this));

Original file line number	Diff line number	Diff line change
`@@ -253,11 +253,7 @@ public function isSuperTypeOfWithReason(Type $otherType): IsSuperTypeOfResult`
`253`	`253`	`}`
`254`	`254`	`$results[] = $result;`
`255`	`255`	`}`
`256`		`-`
`257`	`256`	`$result = IsSuperTypeOfResult::createNo()->or(...$results);`
`258`		`- if ($result->yes()) {`
`259`		`- return $result;`
`260`		`- }`
`261`	`257`
`262`	`258`	`if ($otherType instanceof TemplateUnionType) {`
`263`	`259`	`return $result->or($otherType->isSubTypeOfWithReason($this));`