Skip to content

Compute a better lint_node_id during expansion#87146

Merged
bors merged 5 commits intorust-lang:masterfrom
Aaron1011:better-macro-lint
Jul 19, 2021
Merged

Compute a better `lint_node_id` during expansion#87146
bors merged 5 commits intorust-lang:masterfrom
Aaron1011:better-macro-lint

Commits

Commits on Jul 18, 2021