Optimize more aggresively

ondrejmirtes · ondrejmirtes · commit 13d659522cf2 · 2022-09-03T14:42:03.000+02:00
diff --git a/src/Type/TypeCombinator.php b/src/Type/TypeCombinator.php
@@ -661,15 +661,9 @@ private static function optimizeConstantArrays(array $types): array
 						return $type->generalize(GeneralizePrecision::moreSpecific());
 					}
 					$constantArrayValuesCount += count($type->getValueTypes());
-
-					return $traverse($type);
-				}
-
-				if ($type instanceof UnionType || $type instanceof IntersectionType) {
-					return $traverse($type);
 				}
 
-				return $type;
+				return $traverse($type);
 			});
 		}
 

Original file line number	Diff line number	Diff line change
`@@ -661,15 +661,9 @@ private static function optimizeConstantArrays(array $types): array`
`661`	`661`	`return $type->generalize(GeneralizePrecision::moreSpecific());`
`662`	`662`	`}`
`663`	`663`	`$constantArrayValuesCount += count($type->getValueTypes());`
`664`		`-`
`665`		`- return $traverse($type);`
`666`		`- }`
`667`		`-`
`668`		`- if ($type instanceof UnionType \|\| $type instanceof IntersectionType) {`
`669`		`- return $traverse($type);`
`670`	`664`	`}`
`671`	`665`
`672`		`- return $type;`
	`666`	`+ return $traverse($type);`
`673`	`667`	`});`
`674`	`668`	`}`
`675`	`669`