infer non-empty-list/array after isset($arr[$i])#4441
Merged
Commits
Commits on Mar 23, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed