Project idea: datalog output from rustc

[kornel]

@eddyb I don’t want to hijack this discussion, so I’ve created a new topic: #[no_mangle] vs modules and pub