vimeo/psalm

Psalm does not infer type in array_reduce()

Open

#6370 aperta il 27 ago 2021

Vedi su GitHub
 (6 commenti) (1 reazione) (0 assegnatari)PHP (668 fork)batch import
Help wantedenhancement

Metriche repository

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

Descrizione

Given the following code:

/**
 * @param array<array{tags: string}> $a
 */
function test(array $a): string
{
    return array_reduce($a, function (string $carry, array $value) {
        return $carry . $value['tags'];
    }, '');
}

Psalm is unable to infer a type for $value in the callback function given to array_reduce():

https://psalm.dev/r/b9e02bcaaa

In this example, it should infer the type as array{tags: string}.

Can this be fixed?

Guida contributor

Direzione di ricerca
Studia il codice sorgente di Psalm per la gestione di array reduce, in particolare la logica di inferenza del tipo per il parametro callback. Traccia la logica che dovrebbe inferire il tipo dell'elemento dell'array dal tipo generico dell'iterabile.
Tech stack
php
Dominio
backend
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
PHPPsalm
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60