Comment by mattrepl

I believe they are saying the static type system and type checker provided by Rust helped them write complicated code.