We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 50df3b6 commit a0bff63Copy full SHA for a0bff63
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