Comment by refset

> It would be interesting if someone purpose-built a relation and rules database for compilers

While not quite in rustc proper, along these lines: https://github.com/rust-lang/chalk + https://github.com/rust-lang/polonius