Bug report

When combining an array that has is_null() calls in its constructor and a match instruction, I get the array type to be reported *NEVER*.

Match arm comparison between NEVER and array{t1: bool, t2: bool} is always false.

Code snippet that reproduces the problem

https://phpstan.org/r/d70c5c30-8cb5-4811-8c3f-ba6b8a29bab7

Expected output

That code should be fine, at least it works perfectly well.