Skip to content

infer non-empty-list/array after array_key_exists($i, $arr) (#4440) #7663

infer non-empty-list/array after array_key_exists($i, $arr) (#4440)

infer non-empty-list/array after array_key_exists($i, $arr) (#4440) #7663

Triggered via push October 16, 2025 10:13
Status Success
Total duration 8s
Artifacts

spelling.yml

on: push
Check for typos
5s
Check for typos
Fit to window
Zoom out
Zoom in