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, 6, 56868319-5989-44a6-b099-1c8e1b1a50b6,52546455-9d05-42bf-b308-c39a4cef3279,385a...

Analyse (80300, 6, 56868319-5989-44a6-b099-1c8e1b1a50b6,52546455-9d05-42bf-b308-c39a4cef3279,385a...
succeeded Oct 23, 2025 in 2m 10s