vimeo/psalm

Calling to `Map::union/intersect/diff()` etc. modifies args generic type

Aperta

#6381 aperta il 31 ago 2021

Vedi su GitHubGuida contributor
 (5 commenti) (0 reazioni) (0 assegnatari)PHP (668 fork)batch import
Help wantedbugtype reconciliation

Metriche repository

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

Descrizione

interface A {
    /**
     * @param TReturn $value
     *
     * @return Map<TReturn, TReturn>
     *
     * @template TReturn
     */
    public static function fc(mixed $value) : Map
    {
    }
}

/** @var A $a */
$a;

$result = $a::fc(true);

Type of $result is correctly Ds\Map<true, true>.

Though, when I route $result through any mutation-free function on another map instance ((new Map)->union($result)), it changes to Ds\Map<mixed, mixed>. I don't see any reason for type change.

https://psalm.dev/r/4243e3b2a8
https://psalm.dev/r/123220a2c8

Guida contributor

Direzione di ricerca
Traccia come Psalm risolve il tipo generico del risultato di Map::union quando l'argomento è una mappa con un tipo generico specifico. Controlla l'inferenza del tipo nel metodo union e scopri perché cade in mixed.
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
PHPPsalm static analysis
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60