vimeo/psalm

str_replace with a polymorphic subject returns string

Open

#7625 aperta il 10 feb 2022

Vedi su GitHub
 (7 commenti) (0 reazioni) (0 assegnatari)PHP (668 fork)batch import
Help wantedbugeasy problemsgood first issuetype providers

Metriche repository

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

Descrizione

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

Guida contributor

Direzione di ricerca
Indaga come Psalm deduce il tipo di ritorno di `str replace` quando il parametro `$subject` è un tipo unione. La riproduzione del problema (https://psalm.dev/r/48f8c3f020) mostra che un tipo unione `string | array<string>` restituisce erroneamente `string`. Esamina la definizione del tipo di funzione per `str replace` nella logica di inferenza dei tipi interna di Psalm, probabilmente in file relativi all'analisi delle funzioni integrate. I 7 commenti potrebbero fornire spunti sul comportamento atteso. Concentrati sulla gestione dei tipi di ritorno sovraccaricati e su come i tipi unione vengono ridotti.
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
PHP
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
65