Skip to content

Use pairwise TypeCombinator::intersect folding for conditional expression holders to avoid exponential union distribution #27620

Use pairwise TypeCombinator::intersect folding for conditional expression holders to avoid exponential union distribution

Use pairwise TypeCombinator::intersect folding for conditional expression holders to avoid exponential union distribution #27620

Job Run time
2m 6s
22s
13s
21s
-1s
-1s
-1s
-1s
1m 20s
51s
1m 8s
49s
46s
1m 9s
35s
46s
42s
1m 22s
34s
58s
49s
43s
52s
35s
43s
41s
43s
46s
1m 29s
46s
33s
5m 50s
52s
1m 11s
46s
6m 35s
42s
53s
44s
1m 11s
42s
58s
1m 22s
49s
1m 14s
34s
48s
42s
42s
45s
1m 55s
34s
42s
32s
40s
1m 7s
33s
42s
48s
42s
49s
33s
36s
34s
1m 39s
50s
34s
41s
31s
1m 24s
31s
41s
44s
44s
43s
40s
42s
49s
43s
34s
36s
40s
54s
35s
40s
1m 24s
31s
45s
41s
41s
1m 39s
38s
59s
45s
43s
33s
42s
33s
37s
48s
34s
38s
39s
38s
38s
48s
36s
42s
33s
1m 30s
40s
45s
36s
34s
33s
53s
46s
36s
36s
37s
38s
39s
38s
1m 23s
36s
48s
48s
45s
34s
41s
47s
1m 7s
43s
42s
33s
36s
33s
49s
35s
38s
46s
43s
36s
38s
42s
37s
1m 3s
39s
1m 17s
45s
48s
42s
33s
34s
36s
1m 43s
42s
1m 2s
37s
38s
41s
42s
30s
33s
31s
43s
34s
47s
1m 10s
45s
45s
40s
33s
1m 2s
41s
36s
50s
36s
30s
48s
33s
44s
33s
36s
32s
41s
33s
46s
43s
38s
42s
42s
32s
41s
34s
31s
32s
32s
29s
29s
38s
41s
34s
32s
36s
27s
34s
47s
34s
35s
36s
29s
36s
33s
27s
30s
33s
36s
27s
33s
36s
26s
35s
32s
32s
35s
36s
36s
46s
34s
28s
25s
28s
39s
26s
35s
34s
33s
25s
34s
35s
35s
38s
37s
31s
39s
33s
35s
35s
38s
1m 4s
37s
26s
35s
27s
36s
38s
36s
27s
32s
27s
36s
33s
25s
45s
30s
32s
1m 19s
38s
35s
30s
38s
1m 19s
34s
27s
32s
33s
42s
30s
39s
35s
45s
32s
33s
40s
1s
3h 28m 42s