vimeo/psalm

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

Open

#6 866 ouverte le 8 nov. 2021

Voir sur GitHub
 (5 commentaires) (0 réactions) (0 assignés)PHP (668 forks)batch import
Help wantedbugeasy problemsgood first issueinternal stubs/callmap

Métriques du dépôt

Stars
 (5 369 stars)
Métriques de merge PR
 (Merge moyen 3j 12h) (5 PRs mergées en 30 j)

Description

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

Guide contributeur

Direction de recherche
Examinez comment Psalm gère le type de retour de implode, en particulier le cas limite où implode avec un séparateur non vide et un tableau contenant une chaîne vide retourne une chaîne vide. Examinez la logique d'inférence de type et testez avec l'exemple fourni.
Stack technique
php
Domaine
tooling
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
PHPPsalm
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
70