Why ‘externalized’ proofs of cyclic trait impls does not work

Posted by unknown on 2026-10-10 from baby steps