vimeo/psalm

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

Open

#9.733 geöffnet am 3. Mai 2023

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)PHP (668 Forks)batch import
Help wantedbugeasy problems

Repository-Metriken

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

Beschreibung

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.

Contributor Guide

Research-Richtung
Reproduzieren Sie das Problem mit dem bereitgestellten Psalm Playground Link. Verfolgen Sie die Typauflösungslogik im Typinferenzsystem von Psalm, insbesondere wie non falsy string und non empty lowercase string verglichen werden. Überprüfen Sie den relevanten Code, der Typkonformitätsprüfungen behandelt.
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.
3
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
PHP
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
40