Stop using <DefId as Ord>
in various diagnostic situations
#118730
Job | Run time |
---|---|
24m 31s | |
5m 17s | |
0s | |
0s | |
0s | |
49m 40s | |
31m 51s | |
0s | |
0s | |
0s | |
0s | |
1h 51m 19s |
<DefId as Ord>
in various diagnostic situations
#118730
Job | Run time |
---|---|
24m 31s | |
5m 17s | |
0s | |
0s | |
0s | |
49m 40s | |
31m 51s | |
0s | |
0s | |
0s | |
0s | |
1h 51m 19s |