handle the non-empty case for usort()

hirokinoue · hirokinoue · commit 2b34b1228b34 · 2022-04-29T00:36:28.000+09:00
diff --git a/stubs/CoreGenericFunctions.phpstub b/stubs/CoreGenericFunctions.phpstub
@@ -219,10 +219,11 @@ function rsort(array &$array, int $flags = SORT_REGULAR): bool
 
 /**
  * @psalm-template T
+ * @psalm-template TArray as array<T>
  *
- * @param T[] $array
+ * @param TArray $array
  * @param callable(T,T):int $callback
- * @param-out list<T> $array
+ * @param-out (TArray is non-empty-array ? non-empty-list<T> : list<T>) $array
  */
 function usort(array &$array, callable $callback): bool
 {

Original file line number	Diff line number	Diff line change
`@@ -219,10 +219,11 @@ function rsort(array &$array, int $flags = SORT_REGULAR): bool`
`219`	`219`
`220`	`220`	`/**`
`221`	`221`	`* @psalm-template T`
	`222`	`+ * @psalm-template TArray as array<T>`
`222`	`223`	`*`
`223`		`- * @param T[] $array`
	`224`	`+ * @param TArray $array`
`224`	`225`	`* @param callable(T,T):int $callback`
`225`		`- * @param-out list<T> $array`
	`226`	`+ * @param-out (TArray is non-empty-array ? non-empty-list<T> : list<T>) $array`
`226`	`227`	`*/`
`227`	`228`	`function usort(array &$array, callable $callback): bool`
`228`	`229`	`{`