Skip to content

convert more DefIds to LocalDefId#95560

Merged
bors merged 2 commits intorust-lang:masterfrom
lcnr:obligation-cause
Apr 2, 2022
Merged

convert more `DefId`s to `LocalDefId`#95560
bors merged 2 commits intorust-lang:masterfrom
lcnr:obligation-cause

Commits

Commits on Apr 1, 2022