Carbon language, as a possible C++ successor