Isset on parse_url returned type not working

[alexander-schranz]

Bug report

The isset returns an error in phpstan on parse_url:

$urlParsed = parse_url($url);

return isset($urlParsed['path']);

I'm not understanding. Found similar issue here from @darkspock maybe he can also tell why he thought it is not an error on phpstan side.

Code snippet that reproduces the problem

https://phpstan.org/r/e895b82e-932d-43a6-b184-c6e1a20ecc4b

Expected output

No error should be returned.

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

Adding phpstan to a external project not using static code analyse yet and see lot of things which can improve also from architecture point of view avoiding inheritance and use strict type classes.

[ondrejmirtes]

Eliminate false first: https://phpstan.org/r/1e3ea302-4618-4c24-9afe-08f4ab683efb

[alexander-schranz]

@ondrejmirtes Thx for the rocket fast response 🚀 .

That check is not required for isset only when using array_key_exists: https://3v4l.org/W32YM

[ondrejmirtes]

Yeah, I guess it could be improved :)

[ondrejmirtes]

Fixed by phpstan/phpstan-src#1791

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