Skip to content

Truthy isset($arr[$k]) should narrow $k #16319

Truthy isset($arr[$k]) should narrow $k

Truthy isset($arr[$k]) should narrow $k #16319

Job Run time
1m 2s
0s
3s
3s
4s
42s
44s
1m 4s
1m 2s
39s
48s
49s
33s
1m 38s
1m 45s
18s
27s
1m 29s
2m 12s
32s
23s
1m 24s
16s
27s
23s
30s
33s
48s
37s
24s
1m 13s
31s
33s
22s
3m 34s
25s
20s
36s
30s
7m 21s
35s
1m 44s
21s
1m 27s
33s
55s
24s
25s
31s
37s
1m 11s
38s
1m 33s
21s
38s
30s
25s
23s
19s
32s
26s
25s
24s
18s
1m 16s
28s
25s
29s
20s
35s
33s
23s
1m 1s
34s
20s
43s
1m 41s
26s
16s
20s
34s
44s
19s
22s
27s
23s
1m 2s
27s
1m 22s
27s
16s
27s
26s
38s
23s
22s
24s
21s
18s
22s
23s
1m 0s
16s
24s
21s
1m 28s
17s
26s
15s
18s
15s
27s
16s
25s
23s
36s
14s
25s
15s
21s
27s
16s
27s
15s
1m 1s
21s
27s
14s
1m 22s
19s
26s
19s
18s
25s
26s
20s
36s
26s
36s
17s
31s
15s
30s
26s
33s
23s
23s
19s
1m 5s
15s
28s
20s
27s
19s
16s
15s
25s
20s
33s
23s
36s
17s
25s
20s
31s
24s
19s
16s
24s
16s
1m 1s
16s
27s
18s
35s
16s
28s
14s
32s
14s
26s
16s
41s
13s
26s
20s
21s
22s
13s
17s
14s
14s
21s
14s
20s
21s
15s
14s
21s
20s
17s
19s
25s
15s
20s
16s
15s
15s
24s
14s
16s
13s
18s
47s
18s
18s
18s
26s
22s
34s
23s
17s
20s
19s
17s
20s
21s
17s
24s
37s
24s
27s
32s
14s
21s
20s
17s
27s
24s
20s
24s
21s
16s
17s
0s
2h 9m 9s