Skip to content

Infer non-empty-array after array_key_first/last() #22845

Infer non-empty-array after array_key_first/last()

Infer non-empty-array after array_key_first/last() #22845

Job Run time
1m 56s
0s
5s
6s
5s
0s
-1s
-1s
31s
27s
24s
31s
26s
24s
24s
23s
23s
26s
30s
28s
26s
25s
28s
29s
29s
23s
20s
22s
31s
20s
28s
27s
31s
28s
23s
20s
22s
28s
19s
25s
28s
22s
33s
26s
26s
29s
34s
28s
29s
24s
21s
26s
21s
20s
21s
29s
21s
23s
21s
29s
29s
30s
23s
30s
23s
26s
20s
22s
19s
22s
26s
50s
22s
31s
27s
27s
1m 0s
33s
24s
21s
25s
20s
18s
18s
1m 0s
27s
23s
22s
24s
21s
23s
28s
29s
26s
24s
29s
32s
21s
28s
24s
23s
1m 23s
37s
54s
35s
28s
34s
1m 0s
1m 56s
27s
41s
45s
53s
1m 38s
27s
1m 47s
35s
34s
40s
1m 16s
47s
9m 23s
2m 26s
50s
43s
1m 38s
42s
7m 31s
31s
41s
44s
1m 5s
27s
39s
45s
1m 23s
32s
1m 10s
39s
1m 42s
51s
25s
39s
28s
27s
36s
35s
43s
36s
27s
36s
22s
28s
40s
28s
31s
28s
27s
28s
25s
1m 8s
33s
1m 34s
26s
46s
32s
40s
25s
54s
28s
28s
31s
38s
35s
29s
35s
26s
1m 10s
32s
28s
32s
1m 30s
36s
35s
34s
30s
28s
37s
39s
36s
29s
54s
33s
29s
33s
34s
25s
38s
33s
34s
27s
1m 7s
34s
32s
28s
29s
1m 33s
27s
29s
39s
33s
32s
30s
32s
32s
31s
46s
36s
43s
28s
24s
34s
36s
31s
26s
35s
23s
38s
24s
37s
36s
30s
1m 6s
34s
34s
28s
23s
52s
28s
32s
33s
35s
24s
1m 2s
36s
28s
29s
26s
23s
27s
33s
32s
33s
26s
26s
28s
47s
24s
25s
29s
27s
27s
28s
1m 6s
34s
41s
36s
39s
26s
26s
34s
35s
31s
35s
25s
27s
29s
28s
33s
29s
22s
27s
27s
53s
0s
2h 57m 47s