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
Commits
Commits on Mar 16, 2021
- committed
- committed
- committed
- committed
- committed
Commits on Mar 17, 2021
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed