rustdoc-json: change item ID's repr from a string to an int#130078

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

its-the-shrimp:rustdoc-types-compress-idsits-the-shrimp/rust:rustdoc-types-compress-idsCopy head branch name to clipboard