query re: (array) list resetting type to array<array-key, mixed>

[SignpostMarv]

https://psalm.dev/r/9b1c535513

Should typecasting reset list to mixed[] ?

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/9b1c535513

<?php
/**
* @param list<int>|null $bar
*/
function foo(array $bar = null) : void { bar($bar ?: (array) $bar); }

/**
* @param list<int> $_baz
*/
function bar(array $_baz) : void {}

/**
* @param list<empty> $_bat
*/
function baz(array $_bat) : void { bar((array) $_bat); }

bar([]);
baz([]);
baz((array) null);

Psalm output (using commit bd7f342):

INFO: MixedArgumentTypeCoercion - 15:40 - Argument 1 of bar expects list<int>, parent type array<array-key, mixed> provided

[muglug]

No