Rust is safe only with tree-shaped structures, so using a good old C and static+dynamic analysis might be a significantly less overhead.
For comparison "C++ shared_ptr is only safe with tree-shaped structures" would be getting-at-the-truth-but-kinda-weirdly-worded in some similar ways.