array_unique 2nd parameter may restrict the array items type · vimeo/psalm#7956 | Good First Issue

(11 comments) (0 reactions) (0 assignees)PHP (668 forks)batch import

Help wantedeasy problemsinternal stubs/callmap

Repository metrics

Stars: (5,369 stars)
PR merge metrics: (平均マージ 3d 12h) (30d で 5 merged PRs)

説明

Hi,

the array_unique() function has an optional 2nd parameter flag, which is one of the following value:

SORT_REGULAR
SORT_NUMERIC
SORT_STRING (default value)
SORT_LOCALE_STRING

if the flag is one of SORT_LOCALE or SORT_LOCALE_STRING, the array should only contain strings or values that can be casted to string. I'm not sure exactly what the definition should be, maybe: int|float|string|bool|\Stringable|null

Here we can see it fail : https://3v4l.org/lJsCp

and here we can see that Psalm does not find any error: https://psalm.dev/r/2135f5de25

edit: I realized that the SORT_NUMERIC also restrict the item type, probably something like int|float|string|null

コントリビューターガイド

調査方針: Psalmのコードベースを調査し、array uniqueが現在どのように型付けされているかを確認し、第2パラメータのフラグ（SORT REGULAR、SORT NUMERIC、SORT STRING、SORT LOCALE STRING）に基づいて、Psalmの型システムを使用して条件付き戻り値の型を追加します。
技術スタック: php
領域: tooling
Issue 種別: バグ
難度: 2
推定時間: 半日
活動状況: アクティブ
明確さ: 明確
前提条件: PHP
初心者向け度: 60