Skip to content

Commit 4ade53d

Browse files
committed
Update TypeSpecifier.php
1 parent 9c4b491 commit 4ade53d

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/Analyser/TypeSpecifier.php

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1204,6 +1204,7 @@ private function specifyTypesForCountFuncCall(
12041204

12051205
$zero = new ConstantIntegerType(0);
12061206
foreach ($builderData as [$offsetType, $valueType]) {
1207+
// non-empty-list already implies the offset 0
12071208
if ($zero->isSuperTypeOf($offsetType)->yes()) {
12081209
continue;
12091210
}

0 commit comments

Comments
 (0)