C can be memory safe now! https://github.com/pizlonator/llvm-project-deluge
Yes, this is a real project that really works. It can compile real and widely used software written in C including SQLite, OpenSSL, and CPython, giving them true memory safety without escape hatches.