Skip to content

replace more DefIds with LocalDefId#73796

Merged
bors merged 3 commits intorust-lang:masterfrom
lcnr:LocalDefId
Jun 28, 2020
Merged

replace more `DefId`s with `LocalDefId`#73796
bors merged 3 commits intorust-lang:masterfrom
lcnr:LocalDefId

Commits

Commits on Jun 27, 2020