circular reasoning is a potential source of unsoundness
circular reasoning is a potential source of unsoundness
Posted Mar 30, 2026 15:22 UTC (Mon) by willy (subscriber, #9762)In reply to: circular reasoning is a potential source of unsoundness by garyguo
Parent article: Rust's next-generation trait solver
I believe the error you're seeing is explained by the part of the article that says this is only enabled for some built-in traits now, but will be extended to all traits in the future?