vimeo/psalm

array_is_list makes the type less specific.

Open

#8 046 ouverte le 2 juin 2022

Voir sur GitHub
 (7 commentaires) (0 réactions) (1 assigné)PHP (668 forks)batch import
Help wantedeasy problemsenhancementgood first issue

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/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>.

Guide contributeur

Direction de recherche
Examinez la gestion de array is list dans l'inférence de types de Psalm, probablement dans les stubs de fonction ou la logique de combinaison de types. L'exemple dans l'issue montre que le type devient moins spécifique après l'appel à array is list. Recherchez où array is list est défini (par exemple, dans les stubs) et comment son type de retour est contraint. Consultez la conversation dans l'issue pour toute solution proposée ou contribution des mainteneurs.
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
PHPGit
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
65