[auggierose]

I think what the author is trying to say is that the type system of TypeScript is unsound, while Rust's type system is (hopefully) sound.