Prior art Rust's compiler went through a similar transformation to support demand-driven compilation. We should learn from their experience!