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

Commits

Commits on Aug 22, 2017