Auto merge of #81215 - cjgillot:defkey-mir, r=oli-obk · rust-lang/rust@23adf9f · GitHub

Commit

Auto merge of #81215 - cjgillot:defkey-mir, r=oli-obk

Browse files

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

Split out of #80347.

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

r? `@oli-obk`

Loading branch information

bors committed Feb 5, 2021

2 parents 5605b5d + 09ac459 commit 23adf9f