Bug report
When an unset call is placed after a call where an exception can originate from, the catch clause is not able to use the variable, even though the unset call can never be made.
Code snippet that reproduces the problem
https://phpstan.org/r/abf2e5c9-90a3-40fc-9979-6d19255e7c67
Expected output
No errors were found