vimeo/psalm

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

Open

#9733 aperta il 3 mag 2023

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)PHP (668 fork)batch import
Help wantedbugeasy problems

Metriche repository

Star
 (5369 star)
Metriche merge PR
 (Merge medio 3g 12h) (5 PR mergiate in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Riproduci il problema utilizzando il link fornito di Psalm playground. Traccia la logica di risoluzione dei tipi nel sistema di inferenza dei tipi di Psalm, in particolare come vengono confrontati non falsy string e non empty lowercase string. Controlla il codice pertinente che gestisce i controlli di contenimento dei tipi.
Tech stack
php
Dominio
tooling
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
PHP
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40