Commit 884429f

committed

Update RangeFunctionReturnTypeExtension to include known integer ranges

1 parent dba6c24 commit 884429fCopy full SHA for 884429f

File tree

-1

lines changed

-1

lines changed

Lines changed: 1 addition & 1 deletion

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`		`- newIntegerType(),`
	`96`	`+ IntegerRangeType::fromInterval(0, (int) (($endConstant->getValue() - $startConstant->getValue()) / $stepConstant->getValue())),`
`97`	`97`	`IntegerRangeType::fromInterval($startConstant->getValue(), $endConstant->getValue()),`
`98`	`98`	`),`
`99`	`99`	`new NonEmptyArrayType(),`

Comments

(0)