Array count in match results in incorrect offset error in lower branch of match

[Grldk]

Bug report

I have some code similar to this:

		$return = match (true) {
			count($array) > 1 => $array[1],
			default => $array[0] ?? 'empty',			
		};

Phpstan reports an offset error on $array[0].

Code snippet that reproduces the problem

https://phpstan.org/r/3f2b24c5-b3b3-4dcb-b46c-685973482e53

Expected output

No errors should be given I think.

Did PHPStan help you today? Did it make you happy in any way?

Phpstan really helps us maintaining our code quality to a reasonable level, thanks a lot!

[ondrejmirtes]

Yeah, this is probably a bug.

It works correctly with list type which you use should anyway: https://phpstan.org/r/221e19ac-7484-436b-8338-91e4a7f0b170

In non-list array, even when count($array) is 1, you don't have a guarantee that $array[0] exists.

[Grldk]

Thanks for the fix!

[ondrejmirtes]

Fixed phpstan/phpstan-src#3037

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.