I think it’s a bit naive to think that people who won’t learn Rust will learn a new, stricter variety of C.
Pizlo introduced Fil-C at the Splash 2024 conference last month [1]
You can have Nim today.
Nobody wants nor need a worse C
If you want/need C with an optional GC, just use D, it also compile C code
I am suspicious of anything that claims you can achieve memory safety by pressing a button, with zero code changes required. Part of the reason Rust is frustrating to learn is because it forces you to structure your application a certain way and think of edge cases.