array_map() destroys generic part of shape+generic array

[weirdan]

https://psalm.dev/r/0c83024b48

Expected: array{0: string}<array-key,string>

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/0c83024b48

<?php
/** 
 * @param string[] $line
 */
function f(array $line): void {
    if (empty($line[0])) {
        throw new InvalidArgumentException;
    }
    
    /** @psalm-trace $line */;
    
    $_line = array_map(
        function($val) { return $val; },
        $line
    );
    
    /** @psalm-trace $_line */;
}

Psalm output (using commit 2111916):

INFO: Trace - 10:30 - $line: array{0: non-falsy-string}<array-key, string>

INFO: Trace - 17:31 - $_line: array{0: string}