Fix param-out generics via stubs

tests/PHPStan/Analyser/data/param-out.php

@@ -501,3 +501,34 @@ function ($s, $t): void {
 	assertType('string', $s);
 	assertType('string', $t);
 };
+
+// typed via phpdoc in stub file
+function rsort(array &$array, int $flags = SORT_REGULAR): bool
+{
+}
+
+function ($a): void {
+	\ParamOut\rsort($a);
+	assertType('list<mixed>', $a);
+};
+/**
+ * @param string[] $a
+ */
+function ($a): void {
+	\ParamOut\rsort($a);
+	assertType('list<string>', $a);
+};
+/**
+ * @param non-empty-array<string> $a
+ */
+function ($a): void {
+	\ParamOut\rsort($a);
+	assertType('non-empty-list<string>', $a);
+};
+/**
+ * @param non-empty-list<string> $a
+ */
+function ($a): void {
+	\ParamOut\rsort($a);
+	assertType('non-empty-list<string>', $a);
+};

tests/PHPStan/Analyser/param-out.stub

@@ -18,4 +18,15 @@ namespace ParamOut {
 		{
 		}
 	}
+
+    /**
+     * @template T
+     * @template TArray as array<T>
+     *
+     * @param TArray $array
+     * @param-out (TArray is non-empty-array ? non-empty-list<T> : list<T>) $array
+     */
+    function rsort(array &$array, int $flags = SORT_REGULAR): bool
+    {
+    }
 }