A string after strlen > 0 check should be a non-empty-string

Metriche repository

Star

5369 star (5369 star)

Metriche merge PR

Merge medio 3g 12h (Merge medio 3g 12h)5 PR mergiate in 30 g (5 PR mergiate in 30 g)

Descrizione

Guida contributor

Direzione di ricerca

Indaga come Psalm gestisce attualmente il tipo string dopo una condizione strlen > 0. L'esempio su https://psalm.dev/r/ca291dd273 mostra che il tipo rimane string invece di essere ristretto a non empty string. Esplora la logica di restringimento dei tipi di Psalm, probabilmente nel codice dell'analizzatore o del sistema di tipi. Rivedi le discussioni precedenti nei commenti dell'issue per approfondimenti sul comportamento atteso e sulle potenziali soluzioni.

Tech stack

php

Dominio

tooling

Tipo issue

Bug

DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.

2

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

PHPGit

Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.

75