Better fix

Author: ondrejmirtes

Diff for: phpstan-baseline.neon

@@ -1,10 +1,5 @@
 parameters:
 	ignoreErrors:
-		-
-			message: "#^Casting to int something that's already int\\.$#"
-			count: 2
-			path: src/Analyser/MutatingScope.php
-
 		-
 			message: "#^Only numeric types are allowed in pre\\-decrement, bool\\|float\\|int\\|string\\|null given\\.$#"
 			count: 1

Diff for: src/Analyser/MutatingScope.php

@@ -4922,6 +4922,13 @@ private static function generalizeType(Type $a, Type $b): Type
 						$gotSmaller = true;
 					}
 
+					if ($min === PHP_INT_MIN) {
+						$min = null;
+					}
+					if ($max === PHP_INT_MAX) {
+						$max = null;
+					}
+
 					if ($gotGreater && $gotSmaller) {
 						$resultTypes[] = new IntegerType();
 					} elseif ($gotGreater) {
@@ -5498,7 +5505,7 @@ private function integerRangeMath(Type $range, Expr $node, Type $operand): Type
 			}
 		}
 
-		return IntegerRangeType::fromInterval($min !== null ? (int) $min : null, $max !== null ? (int) $max : null);
+		return IntegerRangeType::fromInterval($min, $max);
 	}
 
 }