Precise EntityRepository::count

src/EntityRepository.php

@@ -131,6 +131,7 @@ public function findOneBy(array $criteria, array|null $orderBy = null): object|n
      * @psalm-param array<string, mixed> $criteria
      *
      * @return int The cardinality of the objects that match the given criteria.
+     * @psalm-return 0|positive-int
      *
      * @todo Add this method to `ObjectRepository` interface in the next major release
      */

src/Persisters/Entity/BasicEntityPersister.php

@@ -835,7 +835,10 @@ public function count(array|Criteria $criteria = []): int
             ? $this->expandCriteriaParameters($criteria)
             : $this->expandParameters($criteria);
 
-        return (int) $this->conn->executeQuery($sql, $params, $types)->fetchOne();
+        $count = (int) $this->conn->executeQuery($sql, $params, $types)->fetchOne();
+        assert($count >= 0);
+
+        return $count;
     }
 
     /**

src/Persisters/Entity/EntityPersister.php

@@ -125,6 +125,8 @@ public function delete(object $entity): bool;
      * Count entities (optionally filtered by a criteria)
      *
      * @param mixed[]|Criteria $criteria
+     *
+     * @psalm-return 0|positive-int
      */
     public function count(array|Criteria $criteria = []): int;