Skip to content

Remove redundant def_id lookups#80232

Merged
bors merged 1 commit intorust-lang:masterfrom
bugadani:roundtrip
Jan 13, 2021
Merged

Remove redundant def_id lookups#80232
bors merged 1 commit intorust-lang:masterfrom
bugadani:roundtrip

Commits

Commits on Dec 20, 2020