Make MIR typeck use LocalDefId and fix docs#72096
Merged
bors merged 1 commit intorust-lang:masterfrom May 12, 2020
jonas-schievink:mirck-docs
Merged
Make MIR typeck use `LocalDefId` and fix docs#72096bors merged 1 commit intorust-lang:masterfrom jonas-schievink:mirck-docs
bors merged 1 commit intorust-lang:masterfrom
jonas-schievink:mirck-docs
