Why 'externalized' proofs of cyclic trait impls does not work (via fanf) — discussion

#rust