Update RangeFunctionReturnTypeExtension to include known integer ranges

PrinsFrank · PrinsFrank · commit 783dac8fbf98 · 2025-08-20T21:25:45.000+02:00
diff --git a/src/Type/Php/RangeFunctionReturnTypeExtension.php b/src/Type/Php/RangeFunctionReturnTypeExtension.php
@@ -93,7 +93,7 @@ public function getTypeFromFunctionCall(FunctionReflection $functionReflection,
 							}
 							return TypeCombinator::intersect(
 								new ArrayType(
-									new IntegerType(),
+									IntegerRangeType::fromInterval(0, ($endConstant->getValue() - $startConstant->getValue()) / $stepConstant->getValue()),
 									IntegerRangeType::fromInterval($startConstant->getValue(), $endConstant->getValue()),
 								),
 								new NonEmptyArrayType(),

Original file line number	Diff line number	Diff line change
`@@ -93,7 +93,7 @@ public function getTypeFromFunctionCall(FunctionReflection $functionReflection,`
`93`	`93`	`}`
`94`	`94`	`return TypeCombinator::intersect(`
`95`	`95`	`new ArrayType(`
`96`		`- new IntegerType(),`
	`96`	`+ IntegerRangeType::fromInterval(0, ($endConstant->getValue() - $startConstant->getValue()) / $stepConstant->getValue()),`
`97`	`97`	`IntegerRangeType::fromInterval($startConstant->getValue(), $endConstant->getValue()),`
`98`	`98`	`),`
`99`	`99`	`new NonEmptyArrayType(),`