Optimize more aggresively

Author: ondrejmirtes

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);
 			});
 		}