Always taken exit path in loop is not detected #11984
Description
Feature request
extracted from #9550
repro: https://phpstan.org/r/5ef48b1d-f2e1-45e3-9b32-bde16053ddfd
{{ message }}
extracted from #9550
repro: https://phpstan.org/r/5ef48b1d-f2e1-45e3-9b32-bde16053ddfd