Why 'externalized' proofs of cyclic trait impls does not work

Submitted ⁨⁨6⁩ ⁨hours⁩ ago⁩ by ⁨rssbot@lemmy.bestiver.se [bot]⁩ to ⁨lobsters@lemmy.bestiver.se⁩

https://smallcultfollowing.com/babysteps/blog/2026/10/10/modular-vs-external-proofs/