Safe C++ Extensions proposal would provide C++ developers with memory-safe implementations of essential data structures and algorithms ... lifetime safety, type safety, or thread safety.