This is why I think it's so crucial to move Rust into the Linux kernel. It's not about new-school-cool vs old heads. It's not about getting off someone's lawn, it's about solving a really basic but important problem. Sure we can just get not into accidents and be rid of seatbelts, airbags, crumple zones, and ABS, but it's not a real world.

Any solution that just adds to C, will make it a new C, that will take years to prove itself and still require relearning and push-back.

I'd love a real world suggestion that does it better. The best I can imagine is annotations on C that are checkable formal methods... but that just sounds like reinventing the borrow-checker.