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 (80500, 16, 7ffa607a-e524-409d-9099-d61c7904dcc9,b3f5cc0c-41e0-457e-bccd-3c020d2f354a,4e6...

Analyse (80500, 16, 7ffa607a-e524-409d-9099-d61c7904dcc9,b3f5cc0c-41e0-457e-bccd-3c020d2f354a,4e6...
succeeded Oct 23, 2025 in 35s