Skip to content

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

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 #27618

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