Everything being inferred after the last possible piece of code that may throw an exception should not have an impact on the catch clause.

Examples :
Correct : https://phpstan.org/r/c33d8ed6-a27a-447c-b8ee-c4d842ee2354
Incorrect : https://phpstan.org/r/3cdc98ed-2e4f-4269-8197-bd1dfaa7ecd2