b36917b331
Improve memoization and refactor NLL type check I have a big branch that is refactoring NLL type check with the goal of introducing canonicalization-based memoization for all of the operations it does. This PR contains an initial prefix of that branch which, I believe, stands alone. It does introduce a few smaller optimizations of its own: - Skip operations that are trivially a no-op - Cache the results of the dropck-outlives computations done by liveness - Skip resetting unifications if nothing changed r? @pnkfelix |
||
|---|---|---|
| .. | ||
| benches | ||
| cfg | ||
| dep_graph | ||
| hir | ||
| ich | ||
| infer | ||
| lint | ||
| middle | ||
| mir | ||
| session | ||
| traits | ||
| ty | ||
| util | ||
| build.rs | ||
| Cargo.toml | ||
| diagnostics.rs | ||
| lib.rs | ||
| macros.rs | ||
| README.md | ||
For more information about how rustc works, see the rustc guide.