another language that seems to get close to "C replacement" is Odin. Though it also does feel like departing a bit too much sometimes to be a true replacement.
And what every new language seems to be dead set on is no implicit type conversions which is mildly annoying (But I suppose that's done specifically to protect from gremlins like me)
I think my idea of "C replacement" probably fits fairly closely with Odin's creator's idea of "C alternative"..
It's of course impossible to truly replace C with anything since C is an extremely entrenched language what with it being widely used for about 50 years. (and odin probably won't fit every niche where C is used)