rustc_metadata: more safely read/write the index positions.#59887

Merged

bors merged 1 commit intorust-lang:masterfrom

eddyb:safer-metadata

Apr 27, 2019

Commits on Apr 16, 2019

rustc_metadata: more safely read/write the index positions.
eddyb
committed