I have been contributing with C++ code since 1993, with bounded checked collection types in release code, and compiled managed languages since mid 2000's.
Even Dennis Ritchie and Ken Thompson themselves, went on with Alef, Limbo and Go.
I have been contributing by reducing my C, and C++ footprint on the planet, and security enforcement at various assignments.
I have been contributing with C++ code since 1993, with bounded checked collection types in release code, and compiled managed languages since mid 2000's.
Even Dennis Ritchie and Ken Thompson themselves, went on with Alef, Limbo and Go.
I have been contributing by reducing my C, and C++ footprint on the planet, and security enforcement at various assignments.
These do not seem to be the safety improvements for C that you requested.