Force array_first/-last input types through template

Author: florianschaefer-jb

meta/.phpstorm.meta.php

@@ -67,6 +67,8 @@ function sql_injection_subst($argNum) {
   override(\array_reduce(0), type(2));
   override(\array_slice(0), type(0));
   override(\array_diff(0), type(0));
+  override(\array_first(0), elementType(0));
+  override(\array_last(0), elementType(0));
   override(\array_diff_assoc(0), type(0));
   override(\array_diff_uassoc(0), type(0));
   override(\array_diff_key(0), type(0));

standard/standard_8.php

@@ -1110,11 +1110,21 @@ function array_merge(
 ): array {}
 
 /**
+ * @template TKey
+ * @template TValue
+ * @param array<TKey, TValue> $array
+ * @return TValue|null
  * @since 8.5
+ * @meta
  */
 function array_first(array $array): mixed {}
 
 /**
+ * @template TKey
+ * @template TValue
+ * @param array<TKey, TValue> $array
+ * @return TValue|null
  * @since 8.5
+ * @meta
  */
 function array_last(array $array): mixed {}