Exactly. Optional implies use. So, in case you forgot to read the thread, both Limbo and Rust use GC.