Skip to content

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

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

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

Job Run time
1m 5s
0s
8s
10s
3s
29s
17s
16s
22s
22s
17s
16s
16s
22s
16s
16s
15s
21s
13s
21s
20s
13s
14s
29s
22s
16s
14s
13s
17s
18s
18s
16s
15s
15s
15s
15s
18s
16s
16s
24s
21s
18s
21s
18s
21s
15s
16s
17s
14s
15s
14s
15s
15s
15s
18s
16s
14s
20s
14s
20s
14s
15s
15s
19s
19s
14s
14s
14s
15s
21s
24s
16s
17s
17s
17s
42s
17s
28s
16s
23s
18s
39s
24s
27s
15s
15s
20s
21s
16s
15s
19s
27s
20s
27s
23s
17s
16s
25s
22s
18s
15s
14s
20s
18s
22s
23s
1m 3s
41s
23s
21s
28s
25s
18s
32s
23s
23s
1m 10s
1m 32s
28s
24s
22s
27s
33s
18s
23s
28s
22s
1m 2s
20s
1m 37s
28s
24s
21s
26s
43s
21s
32s
19s
23s
1m 8s
18s
1m 22s
26s
16s
20s
40s
37s
17s
30s
27s
21s
1m 7s
26s
1m 24s
27s
16s
29s
39s
36s
27s
28s
21s
23s
1m 4s
25s
1m 21s
25s
24s
20s
25s
41s
20s
22s
26s
21s
59s
19s
26s
18s
22s
26s
36s
18s
22s
21s
24s
59s
25s
26s
16s
20s
29s
38s
20s
22s
18s
53s
38s
1m 17s
39s
49s
47s
49s
1m 46s
22s
26s
20s
39s
2m 12s
1m 10s
29s
28s
17s
29s
22s
27s
46s
40s
23s
49s
22s
3m 36s
35s
1m 15s
1m 32s
1m 28s
49s
19s
21s
30s
27s
24s
32s
26s
18s
1m 16s
30s
31s
32s
22s
33s
42s
1m 42s
1m 29s
0s
1h 59m 10s