vimeo/psalm

Emit an issue when using coalesce operator if the first operand can't be null

Open

#7.101 aberto em 8 de dez. de 2021

Ver no GitHub
 (10 comments) (0 reactions) (0 assignees)PHP (668 forks)batch import
Help wantedenhancement

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/154ffd42b2

/** @var string $q */
$a = explode(',', $q);

return $a[0] ?? '';

Should've resulted in TypeDoesNotContainNull but not.

Compare with:

https://3v4l.org/pgbW6

Guia do colaborador

Direção de pesquisa
Investigue por que o Psalm não emite TypeDoesNotContainNull ao usar o operador de coalescência nula em um acesso de array garantido como não nulo. Verifique o tratamento dos tipos de acesso a array e do operador de coalescência nula no sistema de tipos do Psalm.
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.
3
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.
60