vimeo/psalm

Psalm does not infer type in array_reduce()

Aberta

#6.370 aberto em 27 de ago. de 2021

Ver no GitHubGuia do colaborador
 (6 comentários) (1 reação) (0 responsável)PHP (668 forks)batch import
Help wantedenhancement

Métricas do repositório

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

Description

Given the following code:

/**
 * @param array<array{tags: string}> $a
 */
function test(array $a): string
{
    return array_reduce($a, function (string $carry, array $value) {
        return $carry . $value['tags'];
    }, '');
}

Psalm is unable to infer a type for $value in the callback function given to array_reduce():

https://psalm.dev/r/b9e02bcaaa

In this example, it should infer the type as array{tags: string}.

Can this be fixed?

Guia do colaborador

Direção de pesquisa
Estude o código fonte do Psalm para o tratamento de array reduce, especificamente a lógica de inferência de tipo para o parâmetro de callback. Rastreie a lógica que deve inferir o tipo do elemento do array a partir do tipo genérico do iterável.
Pilha de tecnologia
php
Domain
backend
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.
60