> Rust lacks a GC so it uses its type system (namely its borrow checker) to compensate. Ok fair enough. I guess mentally I separate the ownership/lifetime sys

> Rust lacks a GC so it uses its type system (namely its borrow checker) to compensate. Ok fair enough. I guess mentally I separate the ownership/lifetime system from the type system, but I suppose it's true that borrows, mutable borrows etc. are actually part of the type system.