circular reasoning is a potential source of unsoundness
circular reasoning is a potential source of unsoundness
Posted Mar 31, 2026 3:36 UTC (Tue) by theemathas (guest, #183008)In reply to: circular reasoning is a potential source of unsoundness by NYKevin
Parent article: Rust's next-generation trait solver
This exact issue has been raised in https://github.com/rust-lang/rust/issues/149743
There's currently no good answer to this yet.