Repository navigation
in_array logic #9752
Description
Bug report
Hello,
An issue regarding how PHPStan deals with in_array.
Code snippet that reproduces the problem
https://phpstan.org/r/341e08ac-54fe-4f45-9586-703c1707060c
Expected output
PHPStan should not consider $car var as null.
Did PHPStan help you today? Did it make you happy in any way?
No response
Activity
swissspidy commentedon Aug 15, 2023
Correct me if I'm wrong, but I don't see the issue here 🤔 If I call
isOkOrNot('compact', null);this will invokedisplayOk(null);. So this is a flaw in your logic, not PHPStanlugosium commentedon Aug 15, 2023
if type
compactor4x4and car is null you will enter theif, inelseifyou car is necessarily an object, cannot be null.nuryagdym commentedon Aug 29, 2023
in_arraydoes not work for me also.Here is another example https://phpstan.org/r/4cbdb7cd-ab24-4a52-a816-b1e378cc11b4
mad-briller commentedon Aug 29, 2023
@nuryagdym phpstan doesn't work well with loose equality semantics right now, pass a third arg of
truetoin_arrayand it's fine:https://phpstan.org/r/43426488-3c0a-4584-8b2a-a71ac97d85cc
phpstan-bot commentedon Aug 13, 2024
@nuryagdym After the latest push in 1.12.x, PHPStan now reports different result with your code snippet:
phpstan-bot commentedon Sep 11, 2026
Closed via merging phpstan/phpstan-src#6381
github-actions commentedon Oct 13, 2026
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.