Soundness bugs
Soundness bugs
Posted Mar 30, 2026 17:40 UTC (Mon) by daroc (editor, #160859)In reply to: Soundness bugs by mb
Parent article: Rust's next-generation trait solver
They keep coming up occasionally, and typically get patched as they're found, but there are a handful open at any given time. The hope is that the simpler, more logical next-generation solver code will be less prone to these things than the incrementally grown current implementation. Here are some bugs that I believe should be addressed by the rewrite that are currently open:
https://github.com/rust-lang/rust/issues/135011
https://github.com/rust-lang/rust/issues/152489