Rust's Type Checker Implementation Is Unsound: An Empirical Study on Soundness Bugs in rustc

Yusung Sim, Sukyoung Ryu, Jaemin Hong

Rust is claimed to be a type-sound language capable of preventing various undesirable behaviors, including memory bugs. However, rustc, the official Rust compiler, is not immune to…