Variable might not be defined

[danielspk]

Summary of a problem or a feature request

PHPStan reports incorrect "Variable $request might not be defined" warning. See the demo: https://phpstan.org/r/dd86ad8a-ffd3-4c6c-84f2-dc72189c973d

Code snippet that reproduces the problem

https://phpstan.org/r/dd86ad8a-ffd3-4c6c-84f2-dc72189c973d

Expected output

This error should not be reported since Throwable should define the variable $response in case of error.

[ondrejmirtes]

Yeah, PHPStan does not yet track exceptions this way.

[adaamz]

Looks like this is fixed https://phpstan.org/r/eb04da0b-4544-453e-b2cd-428213e56282

[ondrejmirtes]

Still needs a regression test submitted.

On Sat, 13 Jul 2019 at 10:34, Adam Žurek ***@***.***> wrote: Looks like this is fixed https://phpstan.org/r/eb04da0b-4544-453e-b2cd-428213e56282 — You are receiving this because you commented. Reply to this email directly, view it on GitHub <#1801?email_source=notifications&email_token=AAAZTOGHRSUZVA6QAPWMUBTP7GHPVA5CNFSM4GQUNEXKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZ3M5HQ#issuecomment-511102622>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAAZTOBLMWBDJ5XLIT3LG6TP7GHPVANCNFSM4GQUNEXA> .

-- Ondřej Mirtes

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