@misc{indiciaebdbfc20e8534,
  title = {Rust's Type Checker Implementation Is Unsound: An Empirical Study on Soundness Bugs in rustc},
  author = {Yusung Sim and Sukyoung Ryu and Jaemin Hong},
  year = {2026},
  doi = {10.1145/3832220},
  url = {https://arxiv.org/abs/2608.28713},
  note = {Source identifier: 2608.28713}
}