Skip to content

Use UnhashMap whenever we have a key of DefPathHash#80610

Merged
bors merged 1 commit intorust-lang:masterfrom
Aaron1011:unhash-def-path-hash
Jan 4, 2021
Merged

Use `UnhashMap` whenever we have a key of `DefPathHash`#80610
bors merged 1 commit intorust-lang:masterfrom
Aaron1011:unhash-def-path-hash

Commits

Commits on Jan 2, 2021