danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-26 20:34:47 +01:00
Code Issues Projects Releases Wiki Activity

handle the non-empty case for shuffle()

Browse Source
This commit is contained in:
hirokinoue 2022-04-28 23:07:43 +09:00
parent db565f1d32
commit 95b5e8cb56
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
stubs/CoreGenericFunctions.phpstub
View File

@ -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
{