Skip to content

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

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

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

Triggered via pull request October 23, 2025 22:09
Status Success
Total duration 14s
Artifacts

spelling.yml

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