Do not consider uninhabited constructors when performing exhaustive match checking #32785
Job | Run time |
---|---|
0s | |
36m 27s | |
0s | |
27m 13s | |
14m 13s | |
55m 53s | |
0s | |
1h 32m 47s | |
1h 3m 16s | |
18m 52s | |
0s | |
0s | |
8m 14s | |
23s | |
0s | |
0s | |
0s | |
0s | |
0s | |
5h 17m 18s |
Job | Run time |
---|---|
0s | |
36m 27s | |
0s | |
27m 13s | |
14m 13s | |
55m 53s | |
0s | |
1h 32m 47s | |
1h 3m 16s | |
18m 52s | |
0s | |
0s | |
8m 14s | |
23s | |
0s | |
0s | |
0s | |
0s | |
0s | |
5h 17m 18s |