Array iterated with foreach should be considered non-empty in the loop body

[weirdan]

https://psalm.dev/r/05566f4e1c

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/05566f4e1c

<?php
/** @return non-empty-array */
function f(array $a): array {
    foreach ($a as $_) {
        return $a;
    }
    throw new RuntimeException;
}

Psalm output (using commit b0e1904):

INFO: LessSpecificReturnStatement - 5:16 - The type 'array<array-key, mixed>' is more general than the declared return type 'non-empty-array<array-key, mixed>' for f

INFO: MoreSpecificReturnType - 2:13 - The declared return type 'non-empty-array<array-key, mixed>' for f is more specific than the inferred return type 'array<array-key, mixed>'