We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent db5978d commit 29d2b1dCopy full SHA for 29d2b1d
1 file changed
src/Analyser/TypeSpecifier.php
@@ -338,6 +338,7 @@ public function specifyTypesInCondition(
338
if (
339
$context->true()
340
&& !$orEqual
341
+ // constant offsets are handled via HasOffsetType/HasOffsetValueType
342
&& !$leftType instanceof ConstantIntegerType
343
&& $argType->isList()->yes()
344
&& IntegerRangeType::fromInterval(0, null)->isSuperTypeOf($leftType)->yes()
0 commit comments