Skip to content

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

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

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

Triggered via pull request October 15, 2025 08:36
Status Success
Total duration 9s
Artifacts

spelling.yml

on: pull_request
Check for typos
6s
Check for typos
Fit to window
Zoom out
Zoom in