vimeo/psalm

array_is_list makes the type less specific.

Open

#8046 aperta il 2 giu 2022

Vedi su GitHub
 (7 commenti) (0 reazioni) (1 assegnatario)PHP (668 fork)batch import
Help wantedeasy problemsenhancementgood first issue

Metriche repository

Star
 (5369 star)
Metriche merge PR
 (Merge medio 3g 12h) (5 PR mergiate in 30 g)

Descrizione

https://psalm.dev/r/ffab419792

The test1 function passes the test successfully.

Errors are generated for the test2 function because array_is_list turns the $arr type into a non-empty-list<array<array-key, string>|string>.

Guida contributor

Direzione di ricerca
Esamina la gestione di array is list nell'inferenza dei tipi di Psalm, probabilmente negli stub di funzione o nella logica di combinazione dei tipi. L'esempio nell'issue mostra che il tipo diventa meno specifico dopo aver chiamato array is list. Cerca dove è definito array is list (ad esempio, negli stub) e come il suo tipo di ritorno è vincolato. Rivedi la conversazione nell'issue per eventuali soluzioni proposte o input dei maintainer.
Tech stack
php
Dominio
tooling
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
PHPGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
65