Rustc Development Guide
Basically the rust-analyzer has covered most of AST design & query-based compilation. However, it (seems to) only cover incrementalism inside a process. What if I want incrementalism to survive across recompilations? Rustc as a compiler would really want this, so it covers the following: