|
|
Log in / Subscribe / Register

Soundness bugs

Soundness bugs

Posted Mar 30, 2026 16:00 UTC (Mon) by mb (subscriber, #50428)
Parent article: Rust's next-generation trait solver

Is there more information about the soundness bugs that the new trait solver enables fixing?

to post comments

Soundness bugs

Posted Mar 30, 2026 17:40 UTC (Mon) by daroc (editor, #160859) [Link]

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


Copyright © 2026, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds