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

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