Rust catches some more bugs than at least C# by having a more expressive type system (sum types), read-only being default, class/strict members always needing to be initialized.