In Rust you can use (wrt exhaustive match) and traits to a really great extent to provide safety.

Quite often I write some Rust code and know that it will work if it compiles (though I still write tests)