Update TypeSpecifier.php

staabm · staabm · commit f02b5c14b4b2 · 2026-03-06T15:08:15.000+01:00
diff --git a/src/Analyser/TypeSpecifier.php b/src/Analyser/TypeSpecifier.php
@@ -351,8 +351,8 @@ public function specifyTypesInCondition(
 				}
 			}
 
-			// infer $list[$index] after $index < count($list) - N
-			// infer $list[$index] after $index <= count($list) - N
+			// infer $list[$index] after $zeroOrMore < count($list) - N
+			// infer $list[$index] after $zeroOrMore <= count($list) - N
 			if (
 				$context->true()
 				&& $expr->right instanceof Expr\BinaryOp\Minus

Original file line number	Diff line number	Diff line change
`@@ -351,8 +351,8 @@ public function specifyTypesInCondition(`
`351`	`351`	`}`
`352`	`352`	`}`
`353`	`353`
`354`		`- // infer $list[$index] after $index < count($list) - N`
`355`		`- // infer $list[$index] after $index <= count($list) - N`
	`354`	`+ // infer $list[$index] after $zeroOrMore < count($list) - N`
	`355`	`+ // infer $list[$index] after $zeroOrMore <= count($list) - N`
`356`	`356`	`if (`
`357`	`357`	`$context->true()`
`358`	`358`	`&& $expr->right instanceof Expr\BinaryOp\Minus`