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

(smallcultfollowing.com)

4 points | by khalidkhair 13 hours ago ago