That's what may happen with the Linux kernel over time, now that it allows parts written in Rust.

The limitation of that approach is that all internal interfaces (which includes most data structures) have to be C-compatible. You can get much of the safety benefits of Rust, but lose a lot of Rust's ergonomics.