vimeo/psalm

TypeDoesNotContainType - 5:4 - Cannot resolve types for $str2 - non-empty-lowercase-string does not contain non-falsy-string

Open

#9.733 aberto em 3 de mai. de 2023

Ver no GitHub
 (2 comments) (0 reactions) (0 assignees)PHP (668 forks)batch import
Help wantedbugeasy problems

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

In the following example https://psalm.dev/r/95834da943 I expect to see no errors. A non-falsy-string should be comparable to lowercase-string.

Guia do colaborador

Direção de pesquisa
Reproduza o problema usando o link fornecido do Psalm playground. Rastreie a lógica de resolução de tipos no sistema de inferência de tipos do Psalm, especificamente como non falsy string e non empty lowercase string são comparados. Verifique o código relevante que lida com verificações de contenção de tipos.
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.
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
PHP
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
40