bors 85e355ea9b Auto merge of #80919 - cjgillot:defkey-span, r=oli-obk
Generate metadata by iterating on DefId instead of traversing the HIR tree 1/N

Sample from #80347.
2021-01-24 06:51:17 +00:00
..
2021-01-12 20:32:33 -05:00
2021-01-21 21:41:46 -08:00
2021-01-12 20:32:33 -05:00
2021-01-10 21:24:32 -08:00
2021-01-21 21:41:46 -08:00
2021-01-21 21:41:46 -08:00