[Bleeding edge 0.12.83] Variable $body on left side of ?? is always null.

[ruudk]

Bug report

I've read https://phpstan.org/blog/precise-try-catch-finally-analysis and I think it's related to my issue.

Why is PHPStan so certain that $body will always be null? In my opinion, it can still be non-null if sendRequest does not throw but json_decode does.

Code snippet that reproduces the problem

https://phpstan.org/r/bd38b020-3e40-4a08-9032-9ba63ea3a40d

Expected output

No error.

[ondrejmirtes]

PHPStan doesn't know that json_decode can throw an exception in that case, will have to fix it.

[ondrejmirtes]

Fixed by some previous commit, but I also added "dynamic throw type extensions" so that PHPStan understands when json_encode and decode throw an exception and when they don't: phpstan/phpstan-src@2bf30bf

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