> if you compile valid (safe) Rust programs to C, you know that the resulting code will not invalidate Rust's borrowing rules

If you know the compiler is correct, which you don't.