Consider emptiness for array_count_values()

Fixes #7044
vimeo · Dec 2, 2021 · dc271fe · dc271fe
1 parent 826b26b
commit dc271fe
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/stubs/CoreGenericFunctions.phpstub b/stubs/CoreGenericFunctions.phpstub
@@ -1084,10 +1084,11 @@ function str_getcsv(string $string, string $separator = ',', string $enclosure =
 
 /**
  * @template TKey as array-key
+ * @template TArray as array<mixed, TKey>
  *
- * @param array<mixed, TKey> $array
+ * @param TArray $array
  *
- * @return array<TKey, positive-int>
+ * @return (TArray is non-empty-array ? non-empty-array<TKey, positive-int> : array<empty, empty>)
  *
  * @psalm-pure
  */