Skip to content

incr.comp.: Cache Hir-DepNodeIndices in the HIR map.#44012

Merged
bors merged 1 commit intorust-lang:masterfrom
michaelwoerister:cache-hir-dep-node-index
Aug 25, 2017
Merged

incr.comp.: Cache Hir-DepNodeIndices in the HIR map.#44012
bors merged 1 commit intorust-lang:masterfrom
michaelwoerister:cache-hir-dep-node-index

Commits

Commits on Aug 22, 2017