Skip to content

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

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

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

Triggered via pull request October 16, 2025 11:29
Status Success
Total duration 11s
Artifacts

spelling.yml

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