Invalid always-true analysis in catch-block with call_user_func inside try-block

[janedbal]

Bug report

• Seems like phpstan does not expect call_user_func to contain anything that may throw exception, see snippet
• Used latest phpstan 0.12.83

Code snippet that reproduces the problem

• Snippet: https://phpstan.org/r/ce64ccee-c007-4820-8b35-41ada21000c1
• Real run: https://3v4l.org/lBuqM

Expected output

• No error produced

[malarzm]

I'd expand the title a bit: PHPStan seems to not expect any excpetion from a called method, even if the method is annotated with @throws: https://phpstan.org/r/60d942db-e04b-4af4-9a4c-a3617588a4fd. Probably this is somewhat related to #4821

[ondrejmirtes]

@malarzm In your case PHPStan is correct. I commented on your code: https://phpstan.org/r/93caf15f-aceb-423e-919b-338e71b5658f

[malarzm]

@ondrejmirtes thanks for the quick reply. Indeed you're right, my bad! :)

[ondrejmirtes]

Fixed: phpstan/phpstan-src@54a204e

[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.