array_shift/condition is assumed wrongly as always true #7699
Description
Bug report
Code snippet that reproduces the problem
https://phpstan.org/r/bc481289-1490-48a0-9305-f96645848519
Expected output
no error
{{ message }}
https://phpstan.org/r/bc481289-1490-48a0-9305-f96645848519
no error