Yes and no, unsafe Rust still holds a number of invariants, wherever if you just go on your own writing C you have zero. I prefer the number of guarantees / in

Yes and no, unsafe Rust still holds a number of invariants, wherever if you just go on your own writing C you have zero. I prefer the number of guarantees / invariants that's above zero.