vimeo/psalm

array_is_list makes the type less specific.

Open

#8.046 aberto em 2 de jun. de 2022

Ver no GitHub
 (7 comments) (0 reactions) (1 assignee)PHP (668 forks)batch import
Help wantedeasy problemsenhancementgood first issue

Métricas do repositório

Stars
 (5.369 stars)
Métricas de merge de PR
 (Mesclagem média 3d 12h) (5 fundiu PRs em 30d)

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

Guia do colaborador

Direção de pesquisa
Examine o tratamento de array is list na inferência de tipos do Psalm, provavelmente nos stubs de função ou na lógica de combinação de tipos. O exemplo na issue mostra que o tipo se torna menos específico após chamar array is list. Procure onde array is list está definido (por exemplo, nos stubs) e como seu tipo de retorno é restrito. Revise a conversa na issue para quaisquer soluções propostas ou contribuições dos mantenedores.
Pilha de tecnologia
php
Domain
tooling
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
PHPGit
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
65