vimeo/psalm

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

Open

#7.387 geöffnet am 13. Jan. 2022

Auf GitHub ansehen
 (4 Kommentare) (3 Reaktionen) (0 zugewiesene Personen)PHP (668 Forks)batch import
Help wantedenhancementtype reconciliation

Repository-Metriken

Stars
 (5.369 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 3T 12h) (5 gemergte PRs in 30 T)

Beschreibung

https://psalm.dev/r/ca291dd273

Contributor Guide

Research-Richtung
Untersuche, wie Psalm derzeit den String Typ nach einer strlen > 0 Bedingung behandelt. Das Beispiel unter https://psalm.dev/r/ca291dd273 zeigt, dass der Typ als string bleibt, anstatt auf non empty string eingeengt zu werden. Erkunde die Typ Einengungslogik von Psalm, wahrscheinlich im Analyzer oder Typsystemcode. Überprüfe vorherige Diskussionen in den Issue Kommentaren, um Einblicke in das erwartete Verhalten und mögliche Lösungen zu erhalten.
Tech Stack
php
Domain
tooling
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
PHPGit
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
75