type narrowed too much after identical comparison

[staabm]

Bug report

wrongly narrowed types

Code snippet that reproduces the problem

https://phpstan.org/r/6b98b85a-e3cd-4aa0-8e95-131a4d5b8066

Expected output

no errors

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

No response

[phpstan-bot]

@staabm After the latest push in 2.2.x, PHPStan now reports different result with your code snippet:

@@ @@
 27: Call to function assert() with false will always evaluate to false.
 27: Strict comparison using === between 0 and null will always evaluate to false.
 28: Expected type array{null, 0, 'some-string', stdClass, array{some: 'value'}}, actual: *NEVER*
-29: Call to function assert() with false will always evaluate to false.
-29: Strict comparison using === between *NEVER* and null will always evaluate to false.
 30: Expected type array{null, 0, 'some-string', stdClass, array{some: 'value'}}, actual: *NEVER*
-31: Call to function assert() with false will always evaluate to false.
-31: Strict comparison using === between *NEVER* and null will always evaluate to false.
 32: Expected type array{null, 0, 'some-string', stdClass, array{some: 'value'}}, actual: *NEVER*
-33: Call to function assert() with false will always evaluate to false.
-33: Strict comparison using === between *NEVER* and null will always evaluate to false.
 34: Expected type array{null, 0, 'some-string', stdClass, array{some: 'value'}}, actual: *NEVER*

Full report

Line	Error
25	Call to function assert() with true will always evaluate to true.
25	Strict comparison using === between null and null will always evaluate to true.
27	Call to function assert() with false will always evaluate to false.
27	Strict comparison using === between 0 and null will always evaluate to false.
28	Expected type array{null, 0, 'some-string', stdClass, array{some: 'value'}}, actual: *NEVER*
30	Expected type array{null, 0, 'some-string', stdClass, array{some: 'value'}}, actual: *NEVER*
32	Expected type array{null, 0, 'some-string', stdClass, array{some: 'value'}}, actual: *NEVER*
34	Expected type array{null, 0, 'some-string', stdClass, array{some: 'value'}}, actual: *NEVER*