Skip to content

Don't loose known offset-types in array_merge() #22949

Don't loose known offset-types in array_merge()

Don't loose known offset-types in array_merge() #22949

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