Bug report

PHPStan reports This throw is overwritten by a different one in the finally block below., even when the thrown exception is handled by a catch block. Because the throw is handled, it should not be treated as an exit point (as it will never result in an exit).

Code snippet that reproduces the problem

https://phpstan.org/r/32143624-c2ee-414a-a97e-7251f54f1c85

Expected output

No errors

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

Yep :spark