> Isn't Rust's type system mostly about not having GC? What specific type system features are you looking for outside of borrow checking? Sun types, affine typ

> Isn't Rust's type system mostly about not having GC? What specific type system features are you looking for outside of borrow checking? Sun types, affine types, traits.