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, 8, 169b87d5-eec8-4c75-abbc-94878970833f,d2cb2c42-8687-413e-a38f-393f1b42f439,983d...

Analyse (80500, 8, 169b87d5-eec8-4c75-abbc-94878970833f,d2cb2c42-8687-413e-a38f-393f1b42f439,983d...
succeeded Oct 23, 2025 in 34s