count() should filter out an empty array from union of constant arrays

[ondrejmirtes]

Bug report

https://phpstan.org/r/0e3b1108-a4b1-4417-a1b8-b93e47eef072
https://phpstan.org/r/74f9deeb-80bf-4f7b-a862-7a48d7816500

[phpstan-bot]

@ondrejmirtes PHPStan now reports different result with your code snippet:

@@ @@
-12: Strict comparison using === between array()|array(array(1, 2), array(1, 2), array(1, 2)) and 'aaa' will always evaluate to false.
+12: Strict comparison using === between array(array(1, 2), array(1, 2), array(1, 2)) and 'aaa' will always evaluate to false.

Full report

Line	Error
12	Strict comparison using === between array(array(1, 2), array(1, 2), array(1, 2)) and 'aaa' will always evaluate to false.

[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.