count after explode should make keys certain

[BackEndTea]

Bug report

explode will return a list of strings, so i'd expect that if i call count on that list the key information should be more clear to phpstan.

Code snippet that reproduces the problem

https://psalm.dev/r/b608989bd7

Expected output

I'd expect there to be no issue for psalm.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/b608989bd7

<?php declare(strict_types = 1);

function foo(string $input): void
{
	$out = explode('-', $input);
	if( count($out) === 2) {
		consume($out);
	}
}

/**
 * @param array{0:string, 1: string} $input
 */
function consume(array $input): array{ return $input;}

Psalm output (using commit 4734583):

ERROR: ArgumentTypeCoercion - 7:11 - Argument 1 of consume expects array{0: string, 1: string}, parent type non-empty-list<string> provided