Manually order DefId on 64-bit big-endian
#102382
+19
−1
Merged