Skip to content

Infer non-empty-ness after count($a) == count($b) (#4470) #25295

Infer non-empty-ness after count($a) == count($b) (#4470)

Infer non-empty-ness after count($a) == count($b) (#4470) #25295

Job Run time
21s
19s
19s
21s
25s
20s
21s
18s
24s
18s
20s
25s
20s
24s
1m 7s
37s
25s
28s
32s
25s
25s
21s
22s
21s
19s
23s
20s
25s
25s
19s
28s
21s
21s
23s
21s
18s
26s
27s
21s
18s
20s
19s
21s
21s
27s
22s
21s
21s
24s
22s
19s
19s
21s
21s
19s
24s
21s
25s
18s
22s
23m 0s