False positive with try-catch, single statement and type override (0.9.x)

[Majkl578]

The type will never change if exception is thrown. No error with 0.8.5.

https://phpstan.org/r/ce51cd492fbb7bd36538e0f897c23cc0

[adaamz]

Looks like this is fixed https://phpstan.org/r/e0e5e39a-1bc4-443b-8ba3-3897310fbc72

[ondrejmirtes]

It cannot fully work until exception tracking is implemented. You can easily fool the analyser.

On Sat, 13 Jul 2019 at 10:34, Adam Žurek ***@***.***> wrote: Looks like this is fixed https://phpstan.org/r/e0e5e39a-1bc4-443b-8ba3-3897310fbc72 — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#505?email_source=notifications&email_token=AAAZTOCGUWZBVLOFDL5MZFLP7GHQ5A5CNFSM4D3H3OL2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZ3M5MQ#issuecomment-511102642>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAAZTOCWSU53A4BAJOAZFRLP7GHQ5ANCNFSM4D3H3OLQ> .

-- Ondřej Mirtes

[ondrejmirtes]

Fixed by: phpstan/phpstan-src#481

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