The great part is that Rust has a bot that will ask for thorough code review if something inside an unsafe { } -block has changed. Static analysis for pragmati

The great part is that Rust has a bot that will ask for thorough code review if something inside an unsafe { } -block has changed. Static analysis for pragmatic reasons is really common in Rust even now. (BTW, unsafe {} is still a whole lot safer than standard C)