Skip to content

Fix array_key_exists narrows $key too much #20758

Fix array_key_exists narrows $key too much

Fix array_key_exists narrows $key too much #20758

Job Run time
4m 30s
4s
5s
4s
0s
0s
0s
0s
29s
49s
39s
46s
43s
2m 8s
33s
31s
20s
29s
28s
32s
41s
36s
50s
52s
20s
17s
21s
20s
17s
27s
23s
22s
18s
29s
33s
16s
21s
22s
15s
15s
22s
23s
23s
19s
17s
23s
19s
17s
20s
26s
22s
23s
18s
22s
21s
26s
23s
21s
23s
21s
21s
14s
20s
16s
16s
15s
22s
19s
21s
26s
19s
24s
26s
18s
34s
30s
17s
27s
26s
22s
28s
21s
21s
22s
27s
30s
20s
24s
50s
20s
18s
41s
31s
16s
33s
17s
22s
19s
19s
26s
50s
19s
29s
23s
22s
29s
25s
18s
23s
30s
21s
22s
23s
24s
25s
52s
28s
18s
25s
1m 49s
33s
25s
27s
1m 21s
2m 8s
24s
1m 19s
29s
21s
43s
30s
46s
22s
30s
1m 41s
51s
1m 17s
23s
1m 13s
28s
36s
21s
26s
30s
1m 39s
26s
26s
29s
30s
40s
23s
34s
20s
31s
1m 23s
29s
32s
29s
20s
28s
38s
51s
28s
25s
1m 54s
36s
28s
28s
27s
53s
29s
43s
26s
28s
20s
31s
33s
37s
0s
1h 33m 45s