list -> iterable assertion, item type is lost

[zerkms]

https://psalm.dev/r/13b2f5d8ad

I'm sure this worked before, the assertion is from webmozart/assert and I'm sure I've used it in similar cases million times.

Expected: list<mixed> + iterable<int> assertion should result in list<int>.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/13b2f5d8ad

<?php

/**
  * @psalm-assert iterable<int> $value
  */
function allInteger(mixed $value): void
{}

/**
 * @param list<mixed> $a
 * @return list<int>
 */
function wat(array $a): array {
    allInteger($a);
    return $a;
}

Psalm output (using commit bb28c5a):

INFO: UnusedParam - 6:27 - Param value is never referenced in this method

INFO: MixedReturnTypeCoercion - 15:12 - The type 'list{int, ...<mixed>}' is more general than the declared return type 'list<int>' for wat

INFO: MixedReturnTypeCoercion - 11:12 - The declared return type 'list<int>' for wat is more specific than the inferred return type 'list{int, ...<mixed>}'