Merge pull request #134 from VincentLanglet/count

Use more precise count return type
psalm · Dec 10, 2022 · 6e388e1 · 6e388e1
2 parents 1b670de + 7ac0ecf
commit 6e388e1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/stubs/ArrayCollection.phpstub b/stubs/ArrayCollection.phpstub
@@ -17,4 +17,9 @@ class ArrayCollection implements Collection, Selectable
      * @psalm-mutation-free
      */
     public function isEmpty();
+
+    /**
+     * @return int<0, max>
+     */
+    public function count();
 }