infer non-empty-list/array after array_key_exists($i, $arr) (#4440)
#22375
| Job | Run time |
|---|---|
| 1m 37s | |
| 34s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| -1s | |
| 2m 10s |
non-empty-list/array after array_key_exists($i, $arr) (#4440)
#22375
| Job | Run time |
|---|---|
| 1m 37s | |
| 34s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| -1s | |
| 2m 10s |