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 wor

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)