Skip to content

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

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

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

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