I would have thought carbon would have memory safety from the get go, but having a language where memory safety is one of the primary goals is meaningful in and of itself (as opposed to C++, where memory safety is one of many competing priorities).