Infer non-empty-array from the result of in_array() #6167
Description
Feature request
https://phpstan.org/r/387a65ca-0be1-4402-8d5a-c18c492e0d25
The type dumped here should be non-empty-array<int, string>.
{{ message }}
https://phpstan.org/r/387a65ca-0be1-4402-8d5a-c18c492e0d25
The type dumped here should be non-empty-array<int, string>.