Bug report

After v0.12.6 upgrade (from v 0.12.5), I got one false-positive report about code above always terminates.. See below. This strange behavior occurs when void method is called during the method.

Code snippet that reproduces the problem

https://phpstan.org/r/6c7fd26c-3525-4799-a78f-13f1d2ade037

Expected output

no error at all