vimeo/psalm

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

Aberta

#6.866 aberto em 8 de nov. de 2021

Ver no GitHubGuia do colaborador
 (5 comentários) (0 reação) (0 responsável)PHP (668 forks)batch import
Help wantedbugeasy problemsgood first issueinternal stubs/callmap

Métricas do repositório

Stars
 (5.369 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

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

Guia do colaborador

Direção de pesquisa
Investigue como o Psalm lida com o tipo de retorno de implode, especialmente o caso extremo em que implode com um separador não vazio e um array contendo uma string vazia retorna uma string vazia. Examine a lógica de inferência de tipo e teste com o exemplo fornecido.
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
PHPPsalm
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
70