Merge bot PR

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

Sign in to view logs

Triggered via pull request October 15, 2025 05:56

staabm

opened #4440

staabm:arr-key2

Status Success

Total duration 24s

Artifacts –

merge-bot-pr.yml

on: pull_request