cc https://github.com/rust-lang/rust/issues/33954 Should be easy-enough once @llogiq's cross crate analyzer is up and running.