non-empty-array might be empty after array_keys() with filter#4295
Merged
ondrejmirtes merged 1 commit intophpstan:2.1.xfrom Sep 8, 2025
Merged
non-empty-array might be empty after array_keys() with filter#4295ondrejmirtes merged 1 commit intophpstan:2.1.xfrom
ondrejmirtes merged 1 commit intophpstan:2.1.xfrom
