Memory safety is not the same a scorrectness and more advanced type is also not the same thing as correctness.

50 years of computing have proved pretty conclusively that less than that is wishful thinking at best. Large C++ programs, even with massive amounts of resources and tooling, can’t even get memory management correct.