Infer non-empty-ness after count($a) == count($b)

Open staabm opened this issue 2 months ago • 2 comments

refs https://github.com/phpstan/phpstan/issues/13675

Oct 23 '25 20:10 staabm

This pull request has been marked as ready for review.

Oct 23 '25 20:10 phpstan-bot

@VincentLanglet would be great to get your review on this one

Oct 24 '25 05:10 staabm