Array spread operator false negative

[AndrolGenhald]

Caused by fix to #2852. It might be slightly annoying to have to annotate with list<mixed> or array<int, mixed> instead of just function test(): array {}, but this is definitely a false negative considering that this code crashes: https://psalm.dev/r/ef5d2a6084 https://3v4l.org/9q0Eq

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/ef5d2a6084

<?php

/** @return array<array-key, int> */
function getArray(): array {
    return ['test' => 0];
}

function test(): array {
    $a = getArray();
    $b = [...$a];
    return $b;
}

test();

Psalm output (using commit 42d3bce):

No issues!

[weirdan]

Note that spread with string keys will become valid in 8.1: https://3v4l.org/DSLic/rfc#git.master, https://wiki.php.net/rfc/array_unpacking_string_keys

[AndrolGenhald]

Note that spread with string keys will become valid in 8.1

Cool! Maybe I'll work on adding support sometime since I've already familiarized myself with ArrayAnalyzer.