Skip to content

Add comment about LocalDefId -> DefId#73254

Merged
bors merged 1 commit intorust-lang:masterfrom
jyn514:local-def-id-comment
Jun 12, 2020

Commits

Commits on Jun 11, 2020