Comment by estebank

> I now wonder if a "compiler database engine" could help, so you can store the lexemes, sources, inferences, etc and query them.

rustc already does this https://rustc-dev-guide.rust-lang.org/queries/query-evaluati...