Skip to content

Infer non-empty-ness after count($a) == count($b) (#4470) #25646

Infer non-empty-ness after count($a) == count($b) (#4470)

Infer non-empty-ness after count($a) == count($b) (#4470) #25646

Triggered via push February 11, 2026 18:53
Status Success
Total duration 4m 19s
Artifacts
Generate baseline
1m 43s
Generate baseline
Generate PHP baseline
1m 28s
Generate PHP baseline
Matrix: PHPStan with result cache
Matrix: PHPStan
Fit to window
Zoom out
Zoom in