Auto merge of #119226 - Mark-Simulacrum:format-efficiency, r=TaKO8Ki

Improve coding efficiency for RawDefId

This copies the scheme already used for LazyArray, cutting a couple hundred kilobytes from libcore's metadata.
This commit is contained in:
bors 2023-12-25 14:28:00 +00:00
commit ff57c4163a

Diff content is not available