vimeo/psalm

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

Offen

#6.866 geöffnet am 08.11.2021

 (5 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)PHP (668 Forks)batch import
Help wantedbugeasy problemsgood first issueinternal stubs/callmap

Repository-Metriken

Stars
 (5.369 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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

Contributor Guide