vimeo/psalm

implode(<string>, non-empty-list<string>) doesn't always result in non-empty-string

Open

#6866 aperta il 8 nov 2021

Vedi su GitHub
 (5 commenti) (0 reazioni) (0 assegnatari)PHP (668 fork)batch import
Help wantedbugeasy problemsgood first issueinternal stubs/callmap

Metriche repository

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

Descrizione

https://psalm.dev/r/9b7a45c338

The weird edge case of implode('asdf', ['']); can result in an empty string. Similarly if the first argument is an empty string then an array of any amount of empty strings will also produce an empty string

Guida contributor

Direzione di ricerca
Indaga come Psalm gestisce il tipo di ritorno di implode, in particolare il caso limite in cui implode con un separatore non vuoto e un array contenente una stringa vuota restituisce una stringa vuota. Esamina la logica di inferenza del tipo e testa con l'esempio fornito.
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
PHPPsalm
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70