handle the non-empty case for shuffle()

vimeo · Apr 28, 2022 · 95b5e8c · 95b5e8c
1 parent db565f1
commit 95b5e8c
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/stubs/CoreGenericFunctions.phpstub b/stubs/CoreGenericFunctions.phpstub
@@ -186,9 +186,10 @@ function array_search($needle, array $haystack, bool $strict = false)
 
 /**
  * @psalm-template T
+ * @psalm-template TArray as array<T>
  *
- * @param T[] $array
- * @param-out list<T> $array
+ * @param TArray $array
+ * @param-out (TArray is non-empty-array ? non-empty-list<T> : list<T>) $array
  */
 function shuffle(array &$array): bool
 {