False positive - variable might not be define when while(true) and try-catch is involved #5477
Description
Bug report
Code snippet that reproduces the problem
https://phpstan.org/r/ba8395d7-8d34-4500-99c6-5753d94246db
Expected output
No errors (except for the dead catch)