Skip to content

Use a HashMap for UniverseInfo in mir borrowck#88811

Merged
bors merged 2 commits intorust-lang:masterfrom
jackh726:issue-88446
Sep 12, 2021
Merged

Use a HashMap for UniverseInfo in mir borrowck#88811
bors merged 2 commits intorust-lang:masterfrom
jackh726:issue-88446

Commits

Commits on Sep 10, 2021