Rust's borrow checker is a game changer, but TypeScript's type system is still just a fancy linting tool