Rust's type system tracks ownership and one of the main reasons is so the compiler can automatically know when to free memory without runtime reference counting.