rustc_privacy: Replace `HirId`s and `DefId`s with `LocalDefId`s where possible#88034

Merged

bors merged 1 commit intorust-lang:masterfrom

petrochenkov:localevel2

Aug 19, 2021

Commits on Aug 18, 2021

rustc_privacy: Replace `HirId`s and `DefId`s with `LocalDefId`s where possible
petrochenkov
committed