Open access
Aug 2026
Rust’s Type Checker Implementation Is Unsound: An Empirical Study on Soundness Bugs in rustc
An empirical study of 30 issues that report potential soundness bugs in rustc, collected from the GitHub issue tracker between January 1, 2022 and September 1, 2025, indicates that certain soundness bugs, typically triggered by implied bounds or trait objects, compromise memory safety.
Yusung Sim, Sukyoung Ryu, Jaemin Hong
· Proceedings of the ACM on So... · 0 citations