And based on what I've read over the years here on HN those compile and run-time tools still are limited by the language and have known failure modes that rust

And based on what I've read over the years here on HN those compile and run-time tools still are limited by the language and have known failure modes that rust checks would not have.