vimeo/psalm

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

Open

#9 733 ouverte le 3 mai 2023

Voir sur GitHub
 (2 commentaires) (0 réactions) (0 assignés)PHP (668 forks)batch import
Help wantedbugeasy problems

Métriques du dépôt

Stars
 (5 369 stars)
Métriques de merge PR
 (Merge moyen 3j 12h) (5 PRs mergées en 30 j)

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.

Guide contributeur

Direction de recherche
Reproduisez le problème à l'aide du lien Psalm playground fourni. Tracez la logique de résolution des types dans le système d'inférence de types de Psalm, en particulier comment non falsy string et non empty lowercase string sont comparés. Vérifiez le code pertinent qui gère les vérifications de containment de types.
Stack technique
php
Domaine
tooling
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
PHP
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
40