Repository navigation
in_array check on an array with optional keys seems buggy #8864
Description
Bug report
While working on phpstan/phpstan-src#2230, I discovered another issue with in_array type specifier.
Code snippet that reproduces the problem
https://phpstan.org/r/3e01e64c-0c75-4944-adb4-1f16c8c3418f
Expected output
I'm not sure what PHPStan would be able to do.
Narrowing the array array{0: 1, 1?: 2} with an in_array(2, check would be great. But we have to care about doing this like array{0: 1, 1?: 2, 2?: 2}
But at least the last error Expected type 2, actual: *NEVER* seems to be a bug to me.
Activity
Add non-regression tests for phpstan/phpstan#13421 and phpstan/phpsta…
Add non-regression tests for phpstan/phpstan#13421 and phpstan/phpsta…
phpstan-bot commentedon Apr 1, 2026
Closed via merging phpstan/phpstan-src#5365
github-actions commentedon May 3, 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.