vimeo/psalm

str_replace with a polymorphic subject returns string

Open

#7.625 geöffnet am 10. Feb. 2022

Auf GitHub ansehen
 (7 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)PHP (668 Forks)batch import
Help wantedbugeasy problemsgood first issuetype providers

Repository-Metriken

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

Beschreibung

The return type of str_replace is deduced to be string when I pass it a $subject (the third parameter) of type string | array<string>. A $subject of type string leads to the string return type, while array<float | int | string> leads to array<string>, which is correct. It only incorrectly assumes string when the $subject is of a union type.

https://psalm.dev/r/48f8c3f020

Contributor Guide

Research-Richtung
Untersuche, wie Psalm den Rückgabetyp von `str replace` ableitet, wenn der Parameter `$subject` ein Union Typ ist. Die Problemreproduktion (https://psalm.dev/r/48f8c3f020) zeigt, dass ein Union Typ `string | array<string>` fälschlicherweise `string` zurückgibt. Überprüfe die Funktions Typdefinition für `str replace` in der internen Typrückschlusslogik von Psalm, wahrscheinlich in Dateien im Zusammenhang mit der Analyse integrierter Funktionen. Die 7 Kommentare könnten Einblicke in das erwartete Verhalten geben. Konzentriere dich auf die Handhabung überladener Rückgabetypen und darauf, wie Union Typen reduziert werden.
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
PHP
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
65