Division of int ranges produces BenevolentUnionType

Author: ondrejmirtes

src/Analyser/MutatingScope.php

@@ -5224,6 +5224,10 @@ private function integerRangeMath(Type $range, Expr $node, Type $operand): Type
 					[$min, $max] = [$max, $min];
 				}
 
+				if ($min === null && $max === null) {
+					return new BenevolentUnionType([new IntegerType(), new FloatType()]);
+				}
+
 				return TypeCombinator::union(IntegerRangeType::fromInterval($min, $max), new FloatType());
 			}
 		}

tests/PHPStan/Analyser/data/div-by-zero.php

@@ -13,8 +13,9 @@ class Foo
 	 */
 	public function doFoo(int $range1, int $range2, int $int): void
 	{
-		assertType('float|int', 5 / $range1);
-		assertType('float|int', 5 / $range2);
+		assertType('(float|int)', 5 / $range1);
+		assertType('(float|int)', 5 / $range2);
+		assertType('(float|int)', $range1 / $range2);
 		assertType('(float|int)', 5 / $int);
 		assertType('*ERROR*', 5 / 0);
 	}