Revert "Apply symmetric fix for integer range generalization in gotGreater && gotSmaller case"

This reverts commit 92fe388.

Author: staabm

src/Analyser/MutatingScope.php

@@ -4204,19 +4204,7 @@ private function generalizeType(Type $a, Type $b, int $depth): Type
 					}
 
 					if ($gotGreater && $gotSmaller) {
-						$newMin = $min;
-						$newMax = $max;
-						foreach ($integerRanges['b'] as $range) {
-							$rangeMin = $range->getMin();
-							$rangeMax = $range->getMax();
-							if ($newMin !== null && ($rangeMin === null || $rangeMin < $newMin)) {
-								$newMin = $rangeMin;
-							}
-							if ($newMax !== null && ($rangeMax === null || $rangeMax > $newMax)) {
-								$newMax = $rangeMax;
-							}
-						}
-						$resultTypes[] = IntegerRangeType::fromInterval($newMin, $newMax);
+						$resultTypes[] = new IntegerType();
 					} elseif ($gotGreater) {
 						$resultTypes[] = IntegerRangeType::fromInterval($min, null);
 					} elseif ($gotSmaller) {

tests/PHPStan/Analyser/nsrt/bug-12163.php

@@ -70,46 +70,6 @@ public function iterateRowColumnIndicesDecrementing(int $rows, int $columns, int
 	}
 }
 
-class Test4
-{
-	/**
-	 * @param int<0, 10> $index
-	 */
-	public function integerRangeGeneralization(int $rows, int $index): void
-	{
-		if ($rows < 1) return;
-
-		for ($i = 0; $i < $rows; $i++) {
-			assertType('int<-3, 13>', $index);
-			if ($index > 5) {
-				$index++;
-			} else {
-				$index--;
-			}
-		}
-	}
-}
-
-class Test5
-{
-	/**
-	 * @param int<5, 15> $index
-	 */
-	public function integerRangeGeneralizationBothDirections(int $rows, int $index): void
-	{
-		if ($rows < 1) return;
-
-		for ($i = 0; $i < $rows; $i++) {
-			assertType('int<-10, max>', $index);
-			if ($index > 10) {
-				$index++;
-			} else {
-				$index = -$index;
-			}
-		}
-	}
-}
-
 class Bug12163
 {
 	/**