Skip to content
Issue bot

infer non-empty-list/array after isset($arr[$i]) #13723

Sign in to view logs

infer non-empty-list/array after isset($arr[$i])

infer non-empty-list/array after isset($arr[$i]) #13723

Analyse (80300, 11, 433d43e2-2351-404c-a97b-6f04d994222d,e25a36e9-5d27-40f5-8705-54db9ce1c833,a23...

Analyse (80300, 11, 433d43e2-2351-404c-a97b-6f04d994222d,e25a36e9-5d27-40f5-8705-54db9ce1c833,a23...
succeeded Oct 23, 2025 in 2m 4s