Fix array_key_exists narrows $key too much#4151
Merged
ondrejmirtes merged 1 commit intophpstan:2.1.xfrom Aug 4, 2025
Merged
Fix `array_key_exists` narrows `$key` too much#4151ondrejmirtes merged 1 commit intophpstan:2.1.xfrom
ondrejmirtes merged 1 commit intophpstan:2.1.xfrom
