Behold: https://fil-c.org/

An important improvement over rust is that "Fil-C has no unsafe statement."

As everything, there are compromises and prices to pay.

In case of fil-c, it is about 1.5-4x slower performance, and a memory overhead.

So, let's not present it as a panacea to all problems: there could good reasons to use it, but it isn't a magic trick.