I agree that with very unsafe functions Rust's memory guarantees are not particularly relevant. There are however some other benefits which I discussed in the p

I agree that with very unsafe functions Rust's memory guarantees are not particularly relevant. There are however some other benefits which I discussed in the post (sum types, strict integer typing without promotion, etc.).