fix(prelude): add optional return array_unique

Signed-off-by: azjezz <[email protected]>

Author: azjezz

crates/analyzer/tests/cases/array_unique_non_empty.php

@@ -0,0 +1,18 @@
+<?php
+
+/** @param non-empty-list<non-empty-string> $l */
+function takeList(array $l): void {
+    foreach ($l as $v) {
+        echo $v;
+    }
+}
+
+/**
+ * @param non-empty-string $x
+ * @param non-empty-string ...$y
+ */
+function foo(string $x, string ...$y): void {
+    $a = array_unique([$x, ...$y]);
+    $c = array_values($a);
+    takeList($c);
+}

crates/analyzer/tests/mod.rs

@@ -35,6 +35,7 @@ test_case!(accessing_undefined_class_constant);
 test_case!(argument_count);
 test_case!(array_list_reconciliation);
 test_case!(array_shape_fields);
+test_case!(array_unique_non_empty);
 test_case!(assert_concrete_to_template_type);
 test_case!(assert_generic_array_key_is_array_key);
 test_case!(bare_identifier_in_array_access);

crates/prelude/assets/extensions/standard.php

@@ -4574,7 +4574,7 @@ function array_rand(array $array, int $num = 1): array|string|int
  * @param array<K, V> $array
  * @param int<0, 5> $flags
  *
- * @return array<K, V>
+ * @return ($array is non-empty-array|non-empty-list ? non-empty-array<K, V> : array<K, V>)
  *
  * @pure
  */