The Inside Rust Blog has posted the
Rust compiler team’s goals for this year in the hope of encouraging
others to help.

In theory, any unsoundness issue potentially undermines Rust’s
promise of reliability. We want, by the end of this year, to have a
clear understanding of how each of those I-unsound issues came to
be. We are looking into systematically detecting such issues and
whether we can deploy mitigations or fixes for entire classes of
issues, instead of addressing them on a case by case basis.

Source: LWN.net – Rust compiler ambitions for 2022 (Inside Rust)