Bug report

wrong certainty on dependend variable

Code snippet that reproduces the problem

https://phpstan.org/r/3f68bbe4-feed-4251-b1da-072e7c224c36

Expected output

instead of

Variable $shortcut_id might not be defined

we should get a

Undefined variable: $shortcut_id

error instead (maybe vs. no certainty)

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

No response