Do not consider uninhabited constructors when performing exhaustive match checking #32799
Job | Run time |
---|---|
52m 57s | |
0s | |
31m 45s | |
0s | |
50m 4s | |
1h 24m 32s | |
1h 6m 14s | |
11m 13s | |
20m 49s | |
0s | |
0s | |
0s | |
8m 9s | |
22s | |
0s | |
0s | |
0s | |
0s | |
0s | |
5h 26m 5s |
Job | Run time |
---|---|
52m 57s | |
0s | |
31m 45s | |
0s | |
50m 4s | |
1h 24m 32s | |
1h 6m 14s | |
11m 13s | |
20m 49s | |
0s | |
0s | |
0s | |
8m 9s | |
22s | |
0s | |
0s | |
0s | |
0s | |
0s | |
5h 26m 5s |