Bug report

In the following example phpstan says that $string still can still be mixed even though the code will stop at the exception.

Code snippet that reproduces the problem

https://phpstan.org/r/064b8829-7e11-425f-b437-0a7e3c7c9df9

Expected output

No errors should be given

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

Helping me every day to make better code