vimeo/psalm

array_walk_recursive changes variable type to incorrect

Aperta

#5767 aperta il 14 mag 2021

Vedi su GitHubGuida contributor
 (2 commenti) (1 reazione) (0 assegnatari)PHP (668 fork)batch import
good first issuetype providers

Metriche repository

Star
 (5369 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

I have an array array<int, array<int, int>>, that I pass to array_walk_recursive.

The first parameter in the callback function int &$id I take by reference, then I change the value to a different type. (e.g.: string) Though I define the @param-out string $id annotation, the inferred type is not what it expected.

Expected: array<int, array<int, string>> Inferred: array<array-key, mixed>

https://psalm.dev/r/097021124e

Guida contributor

Direzione di ricerca
Investiga come Psalm gestisce l'inferenza dei tipi per array walk recursive quando il callback modifica un parametro per riferimento. Traccia il codice che elabora le chiamate di funzione e il restringimento dei tipi.
Tech stack
php
Dominio
devtools
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
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.
60