Array shape information lost after spread

[egst]

When using the spread operator on an array with optional fields in the array shape, the array shape information is lost. Is that intentional?

https://psalm.dev/r/a552a530a6

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/a552a530a6

<?php

/** @return array{foo?: string, boo?: int} */
function f (): array {
	return ['foo' => 'bar', 'boo' => 3];
}

$a = [...f()];

/** @psalm-trace $a */;

Psalm output (using commit ef3b018):

INFO: Trace - 10:23 - $a: array<'boo'|'foo', int|string>

INFO: UnusedVariable - 8:1 - $a is never referenced or the value is not used

[kkmuffme]

Maybe fixed by #10777 but it's been too long so I can't remember. Otherwise it would be trivial to fix this behavior once this PR is merged to not get tons of conflicts introduced