Type narrowing through array_filter doesn't work

[fluffycondor]

https://psalm.dev/r/a6ff20c81e

Expected: array<array-key, \stdClass>
Got: array<array-key, mixed>

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/a6ff20c81e

<?php

/** @psalm-suppress MixedAssignment */
$array = json_decode(file_get_contents('php://stdin'));

if (is_array($array) && $array === array_filter($array, function ($value): bool {
    return $value instanceof stdClass;
})) {
    /** @psalm-trace $array */;
}

Psalm output (using commit 1046477):

INFO: Trace - 9:31 - $array: array<array-key, mixed>

[muglug]

The type should definitely get filtered here: https://psalm.dev/r/4281721dda

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/4281721dda

<?php

/** @psalm-suppress MixedAssignment */
$array = json_decode(file_get_contents('php://stdin'));

if (is_array($array)) {
    $filtered = array_filter($array, fn ($value) => $value instanceof stdClass);
    
    if ($array === $filtered) {
       	/** @psalm-trace $array */
    }
}

Psalm output (using commit 1046477):

INFO: Trace - 10:0 - $array: array<array-key, mixed>