incorrect type narrowing with combination of two dependent variables

### Bug report

Probably since 2.1.40. See code snippet.

### Code snippet that reproduces the problem

https://phpstan.org/r/d7b0e719-b39e-44d0-90a0-6f2079c25eae

### Expected output

* Line 33: same output as line 31 (the assertion on line 32 does not imply anything on $display_list)
* Line 34: Dumped type: true

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

_No response_