merge loops

Author: staabm

src/Analyser/MutatingScope.php

@@ -4098,32 +4098,24 @@ private function generalizeType(Type $a, Type $b, int $depth): Type
 						$max = $int->getValue();
 					}
 
+					$newMin = $min;
+					$newMax = $max;
 					$gotGreater = false;
 					$gotSmaller = false;
 					foreach ($constantIntegers['b'] as $int) {
 						if ($int->getValue() > $max) {
+							$newMax = $int->getValue();
 							$gotGreater = true;
 						}
 						if ($int->getValue() >= $min) {
 							continue;
 						}
 
+						$newMin = $int->getValue();
 						$gotSmaller = true;
 					}
 
 					if ($gotGreater && $gotSmaller) {
-						$newMin = $min;
-						$newMax = $max;
-						foreach ($constantIntegers['b'] as $int) {
-							if ($int->getValue() < $newMin) {
-								$newMin = $int->getValue();
-							}
-							if ($int->getValue() <= $newMax) {
-								continue;
-							}
-
-							$newMax = $int->getValue();
-						}
 						$resultTypes[] = IntegerRangeType::fromInterval($newMin, $newMax);
 					} elseif ($gotGreater) {
 						$resultTypes[] = IntegerRangeType::fromInterval($min, null);