Manually order DefId
on 64-bit big-endian
#102382
Merged
DefId
on 64-bit big-endian
#102382