bors 23adf9fd84 Auto merge of #81215 - cjgillot:defkey-mir, r=oli-obk ...

Encode MIR metadata by iterating on DefId instead of traversing the HIR tree

Split out of https://github.com/rust-lang/rust/pull/80347.

This part only traverses `mir_keys` and encodes MIR according to the def kind.

r? `@oli-obk`

2021-02-05 18:21:47 +00:00

..

src

…

Cargo.toml

…