#compiler soundness

一个 Rust 编译器 GitHub issue（\164250）报告借用检查器存在已持续约 11 年的不健全性缺陷：编译器接受了一段按 Rust 生命周期规则本应被拒绝的代码。该问题目前处于被报告和讨论的阶段，尚无证据表明官方已发布修复或已确认受影响的 crate 清单。评论者认为这不是类型系统本身的问题，修复方向是让编译器按既有生命周期规则拒绝该代码，因此相对直接，但该缺陷是否影响真实代码仍待确认。