Generate metadata by iterating on DefId instead of traversing the HIR tree#80347
Closed
cjgillot wants to merge 16 commits into
Closed
Generate metadata by iterating on DefId instead of traversing the HIR tree#80347cjgillot wants to merge 16 commits into
cjgillot wants to merge 16 commits into