11 year old unsoundness bugs found in Rust borrow checker

摘要

Rust borrow checker 中被曝出已存在 11 年之久的 unsoundness bug，维护者在讨论串里补充背景，强调 Rust 的类型系统本意是防止内存不安全，他们会认真对待这一承诺。这直接触及 Rust 最核心的安全卖点，写 unsafe 代码或维护编译器的人尤其需要看；该条目提供的正文只有这段说明，更多复现细节未给出。

近 7 天热度