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 (80200, 12, 24c7beca-8dd0-4763-9dfa-c3f0526ede3e,cce3504a-cb33-4f8e-86c0-e1b19a6ccda5,c10...

Analyse (80200, 12, 24c7beca-8dd0-4763-9dfa-c3f0526ede3e,cce3504a-cb33-4f8e-86c0-e1b19a6ccda5,c10...
succeeded Oct 23, 2025 in 2m 13s