Infer non-empty-array from the result of in_array()

[dktapps]

Feature request

https://phpstan.org/r/387a65ca-0be1-4402-8d5a-c18c492e0d25

The type dumped here should be non-empty-array<int, string>.

[ondrejmirtes]

This is super-easy to fix in the in_array type-specifying extension.

[dktapps]

I tried to fix this, but the code is really confusing and I couldn't figure out how to get it working.

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