add generic types for array_values

Author: schlndh

stubs/arrayFunctions.stub

@@ -16,6 +16,14 @@ function array_reduce(
 	$three = null
 ) {}
 
+/**
+ * @template T of mixed
+ *
+ * @param array<T> $array
+ * @return ($array is non-empty-array ? non-empty-list<T> : list<T>)
+ */
+function array_values(array $array): array {}
+
 /**
  * @template TKey as (int|string)
  * @template T

tests/PHPStan/Analyser/nsrt/array_values.php

@@ -37,4 +37,12 @@ public function constantArrayType(): void
 		);
 		assertType("array{0?: 'a'|'b'|'c', 1?: 'b'|'c', 2?: 'c'}", array_values($numbers));
 	}
+
+	/**
+	 * @param array<string, non-empty-array<string, int>> $a
+	 */
+	public function arrayMap(array $a): void
+	{
+		assertType('array<string, non-empty-list<int>>', array_map(array_values(...), $a));
+	}
 }