If one wanted a fast GC, they could begin with code generation or implementing a VM to work with something like ORCA. It has more powerful sharing and exclusivity semantics than Rust. Pony being the example language implementation. In benchmarks, it stomps Azul C4 and BEAM/HiPE.