False Positive: Dead Catch for exceptions thrown from \Traversable or \Iterator traversing

[rattuscz]

Bug report

Dead Catch is reported from try/catch block around foreach that is operating on \Traversable ( or \Iterator I expect ).
During iteration there can definitely be exception thrown

Code snippet that reproduces the problem

https://phpstan.org/r/460202bd-5a21-4f1d-94c1-1c365337f5a3

Expected output

31 | Parameter #1 $travers of class Response constructor expects Traversable<mixed, string>, Generator<int, string, mixed, *NEVER*> given.

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

Happily fixing 200 errors phpstan 1.0 "introduced" :-)

[phpstan-bot]

@rattuscz After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-25: Dead catch - Throwable is never thrown in the try block.
-31: Parameter #1 $travers of class Response constructor expects Traversable<mixed, string>, Generator<int, string, mixed, *NEVER*> given.
+25: Dead catch - Throwable is never thrown in the try block.

Full report

Line	Error
25	Dead catch - Throwable is never thrown in the try block.

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.