Fix always-true detection in in_array with union type haystack

Open sayuprc opened this issue 9 months ago • 1 comments

resolve phpstan/phpstan#12755

Mar 19 '25 13:03 sayuprc

your PR has impact on more open bugs.

please look at the changes and decide whether these are correct/intended https://github.com/phpstan/phpstan-src/actions/runs/13947226248?pr=3888

please add additional tests to cover this bugs, in case they are fixed

Mar 19 '25 15:03 staabm

Please fix the conflicts.

Jul 17 '25 13:07 ondrejmirtes

Thank you!

Jul 17 '25 14:07 ondrejmirtes