Beyond the Borrow Checker: Zero-Unsafe Garbage Collection in Rust

Most Rust developers believe that building a Garbage Collector (GC) without unsafe is impossible. They assume the borrow checker is too rigid for the cyclic graphs and back-references that GCs must ma