Skip to content

infer non-empty-list/array after array_key_exists($i, $arr)#4440

Merged
ondrejmirtes merged 8 commits intophpstan:2.1.xfrom
staabm:arr-key2
Oct 16, 2025
Merged

infer `non-empty-list/array` after `array_key_exists($i, $arr)`#4440
ondrejmirtes merged 8 commits intophpstan:2.1.xfrom
staabm:arr-key2

Commits

Commits on Oct 15, 2025