TY  - RPRT
TI  - Rust's Type Checker Implementation Is Unsound: An Empirical Study on Soundness Bugs in rustc
AU  - Yusung Sim
AU  - Sukyoung Ryu
AU  - Jaemin Hong
PY  - 2026
DO  - 10.1145/3832220
UR  - https://arxiv.org/abs/2608.28713
ID  - 2608.28713
ER  -