Skip to content

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

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

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

Triggered via pull request October 15, 2025 18:21
@staabmstaabm
synchronize #4441
staabm:narr
Status Success
Total duration 1m 25s
Artifacts

lint.yml

on: pull_request
Coding Standard
1m 20s
Coding Standard
Dependency Analysis
18s
Dependency Analysis
Name Collision Detector
22s
Name Collision Detector
Matrix: Lint
Fit to window
Zoom out
Zoom in