Skip to content

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

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

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

Job Run time
24s
24s
26s
19s
17s
17s
32s
17s
20s
27s
20s
16s
29s
19s
17s
24s
27s
1m 8s
15s
19s
31s
20s
27s
27s
21s
30s
21s
29s
22s
23s
23s
24s
23s
23s
19s
23s
20s
18s
30s
16s
22s
19s
23s
18s
27s
32s
24s
19s
20s
21s
22s
21s
19s
15s
25s
17s
25s
20s
22m 16s